9 citations · 15 across the 12 of their papers we have counts for
5 papers · 1 filter
Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version)
Marcos Cramer, Samuele Pollaci, Bart Bogaerts
Common knowledge and only knowing capture two intuitive and natural notions that have proven to be useful in a variety of settings, for example to reason about coordination or agre…
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control
Marcos Cramer, Pieter Van Hertum, Bart Bogaerts +1
In this paper we define and study a multi-agent extension of autoepistemic logic (AEL) called distributed autoepistemic logic (dAEL). We define the semantics of dAEL using approxim…
FO(C): A Knowledge Representation Language of Causality
Bart Bogaerts, Joost Vennekens, Marc Denecker +1
Cause-effect relations are an important part of human knowledge. In real life, humans often reason about complex causes linked to complex effects. By comparison, existing formalism…
FO(C) and Related Modelling Paradigms
Bart Bogaerts, Joost Vennekens, Marc Denecker +1
Recently, C-Log was introduced as a language for modelling causal processes. Its formal semantics has been defined together with introductory examples, but the study of this langua…
Inference in the FO(C) Modelling Language
Bart Bogaerts, Joost Vennekens, Marc Denecker +1
Recently, FO(C), the integration of C-Log with classical logic, was introduced as a knowledge representation language. Up to this point, no systems exist that perform inference on…