Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence

von Hirvonen, Minna
Veröffentlicht in International Symposium on Foundations of Information and Knowledge Systems (13. : 2024 : Sheffield) Foundations of information and knowledge systems (2024)

The Implication Problem for Functional Dependencies and Varlants of Marginal Distribution Equivalences

von Hirvonen, Minna
Veröffentlicht in FoIKS (12. : 2022 : Helsinki) Foundations of information and knowledge systems (2022)

Logics with Probabilistic Team Semantics and the Boolean Negation

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