1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2023
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…
cs.LO2014★ 1 cited
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…