31 citations · 181 across the 22 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019★ 3 cited
Statistical Epistemic Logic
Yusuke Kawamoto
We introduce a modal logic for describing statistical knowledge, which we call statistical epistemic logic. We propose a Kripke model dealing with probability distributions and sto…
cs.LO2019★ 8 cited
Towards Logical Specification of Statistical Machine Learning
Yusuke Kawamoto
We introduce a logical approach to formalizing statistical properties of machine learning. Specifically, we propose a formal model for statistical classification based on a Kripke…
cs.CR2019★ 9 cited
Local Distribution Obfuscation via Probability Coupling
Yusuke Kawamoto, Takao Murakami
We introduce a general model for the local obfuscation of probability distributions by probabilistic perturbation, e.g., by adding differentially private noise, and investigate its…