12 citations · 36 across the 9 of their papers we have counts for
3 papers · 1 filter
A geometrical view of I/O logic
D. Gabbay, X. Parent, L. van der Torre
We describe a geometrical account of the I/O logic put forth by Makinson and van der Torre. A soundness and completeness results was reported for the simplest I/O operation called…
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…
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support
Christoph Benzmüller, Xavier Parent, Leendert van der Torre
A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is th…