6 citations · 17 across the 5 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
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…
cs.AI2019
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…