12 citations · 36 across the 9 of their papers we have counts for
10 papers
Artificial intelligence in space
George Anthony Gal, Cristiana Santos, Lucien Rapp +2
In the next coming years, space activities are expected to undergo a radical transformation with the emergence of new satellite systems or new services which will incorporate the c…
Intention as Commitment toward Time
Marc van Zee, Dragan Doder, Leendert van der Torre +3
In this paper we address the interplay among intention, time, and belief in dynamic environments. The first contribution is a logic for reasoning about intention, time and belief,…
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…
Defense semantics of argumentation: encoding reasons for accepting arguments
Beishui Liao, Leendert van der Torre
In this paper we show how the defense relation among abstract arguments can be used to encode the reasons for accepting arguments. After introducing a novel notion of defenses and…