Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals

von Hannula, Miika
Veröffentlicht in JELIA (17. : 2021 : Online) Logics in Artificial Intelligence (2021)

Logics with Probabilistic Team Semantics and the Boolean Negation

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