Propositional and Predicate Logics of Incomplete Information

von Console, Marco
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

Counting Database Repairs under Primary Keys Revisited

von Calautti, Marco
Veröffentlicht in ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (38. : 2019 : Amsterdam) PODS '19 (2019)

REASONING ABOUT MEASURES OF UNMEASURABLE SETS

von Console, Marco
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

Epistemic Disjunctive Datalog for Querying Knowledge Bases

von Cima, Gianluca
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)