31 citations · 181 across the 22 of their papers we have counts for
3 papers · 1 filter
Formalizing Statistical Causality via Modal Logic
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
We propose a formal language for describing and explaining statistical causality. Concretely, we define Statistical Causality Language (StaCL) for expressing causal effects and spe…
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
We propose a new approach to formally describing the requirement for statistical inference and checking whether a program uses the statistical method appropriately. Specifically, w…
Theme Aspect Argumentation Model for Handling Fallacies
Ryuta Arisaka, Ryoma Nakai, Yusuke Kawamoto +1
From daily discussions to marketing ads to political statements, information manipulation is rife. It is increasingly more important that we have the right set of tools to defend o…