5 papers
Technical Report of "Deductive Joint Support for Rational Unrestricted Rebuttal"
Marcos Cramer, Meghna Bhadra
In ASPIC-style structured argumentation an argument can rebut another argument by attacking its conclusion. Two ways of formalizing rebuttal have been proposed: In restricted rebut…
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…
Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation"
Marcos Cramer, Zohreh Baniasadi, Pieter Van Hertum
In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, delegation chains will form. There are different ways to trea…
SCF2 -- an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report
Marcos Cramer, Leendert van der Torre
In abstract argumentation theory, many argumentation semantics have been proposed for evaluating argumentation frameworks. This paper is based on the following research question: W…
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.…