|

Session 12: Deontic logic, defeasible reasoning

16 Dec 2022
14:30-16:10

Session 12: Deontic logic, defeasible reasoning

Chair: Michał Araszkiewicz

14:30

Guido Governatori, Francesco Olivieri, Antonino Rotolo and Matteo Cristani
Stable Normative Explanations (abstract)
14:50

Ilaria Canavotto
Precedential constraint derived from inconsistent case bases (abstract)
15:10

Stefan Chircop, Gordon J. Pace and Gerardo Schneider
An Automata-Based Formalism for Normative Documents with Real-Time (abstract)
15:25

Peter Fratrič, Giovanni Sileno, Tom Van Engers and Sander Klous
A compression and simulation-based approach to fraud discovery (abstract)
15:40

Tomasz Zurek, Jonathan Kwik, Mostafa Mohajeriparizi and Tom Van Engers
Can a military autonomous device follow International Humanitarian Law? (abstract)
15:55

Wachara Fungwacharakorn, Kanae Tsushima and Ken Satoh
Fundamental Revisions on Constraint Hierarchies for Ethical Norms (abstract)