FORMALIZING STATISTICAL BELIEFS IN HYPOTHESIS TESTING USING PROGRAM LOGIC

von Kawamoto, Yusuke
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

Locality Sensitive Hashing with Extended Differential Privacy

von Fernandes, Natasha
Veröffentlicht in ESORICS (26. : 2021 : Online) Computer security – ESORICS 2021 ; Part 2 (2021)

Formalizing Statistical Causality via Modal Logic

von Kawamoto, Yusuke
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)