Privacy Analysis with a Distributed Transition System and a Data-Wise Metric

von Anantharaman, Siva
Veröffentlicht in PSD (2022 : Paris) Privacy in statistical databases (2022)

Paraconsistent Gödel Modal Logic

von Bílková, Marta
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

Non-standard Modalities in Paraconsistent Gödel Logic

von Bílková, Marta
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

Toward Updating Belief Functions over Belnap-Dunn Logic

von Frittella, Sabine
Veröffentlicht in BELIEF (7. : 2022 : Paris; Online) Belief functions: theory and applications (2022)

Constraint Tableaux for Two-Dimensional Fuzzy Logics

von Bílková, Marta
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

Belief Based on Inconsistent Information

von Bílková, Marta
Veröffentlicht in DaLí (3. : 2020 : Online) Dynamic logic (2020)