1 citations · 2 across the 3 of their papers we have counts for
3 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…
Modelling Delegation and Revocation Schemes in IDP
Marcos Cramer, Pieter Van Hertum, Diego Agustin Ambrossio +1
In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, chains of delegated accesses will form. There are different w…