1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2019
A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions
Diego Agustín Ambrossio, Marcos Cramer
Distributed Autoepistemic Logic with Inductive Definitions (dAEL(ID)) is a recently proposed non-monotonic logic for says-based access control. We define a query-driven decision pr…
cs.AI2019
Technical report of "Empirical Study on Human Evaluation of Complex Argumentation Frameworks"
Marcos Cramer, Mathieu Guillaume
In abstract argumentation, multiple argumentation semantics have been proposed that allow to select sets of jointly acceptable arguments from a given argumentation framework, i.e.…
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…