Yusuke Kawamoto 0001, Tetsuya Sato, Kohei Suenaga. Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem 0001, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. pages 411-421, 2021. [doi]
Abstract is missing.