1st LoDEx Workshop on Logical Methods for Deontic Explanations (2025)
This is the homepage of the 1st LoDEx Workshop on Logical Methods for Deontic Explanations financed by the WEAVE Project LoDEx Research Project.
When and Where?
- When
- February 13–14, 2025
- Where
- Ruhr University Bochum, Wasserstraße 221 (4th floor, room 4/20); we welcome online attendance as well (please register to obtain the link)
Organizing Committee
- Luca Redondi (Ruhr University Bochum)
- Eliot Watkins (Ruhr University Bochum)
Program
Day 1 (Thursday, Feb 13th)
| Time | Event |
|---|---|
| 09:10–09:15 | Opening |
| 09:15–10:00 | Blaž Istenič Urh (TUWien): Deontic explanations in Åqvist’s systems: between ideality and actuality |
| 10:00–10:45 | Luca Redondi (Bochum): Casuistry as an argumentation-based dialogue-game |
| 10:45–11:00 | coffee break |
| 11:00–12:15 | Informal discussion sessions |
| (one led by Blaž, one led by Luca, possibly others ) | |
| 12:15–14:00 | Lunch break |
| 14:00–14:45 | Luca Pasetto (Luxembourg): A LogiKEy implementation of the Fatio Protocol for Multi-Agent Argumentation |
| 14:45–15:30 | Apostolos Tzimoulis (Luxembourg): Categorization and deliberation |
| 15:30–15:45 | Coffee break |
| 15:45–17:00 | Informal discussion sessions |
| (one led by Aleks, possibly others) | |
| 17:00–18:00 | Meeting of PIs |
| 19:30 (tbc) | Dinner |
Day 2 (Friday, Feb 14th)
| Time | Event |
|---|---|
| 09:15–10:00 | Josephine Dik (TUVienna) and Réka Markovich (Luxembourg) : Discretionary Judicial Decision Making as Normative Reasoning |
| 10:00–10:45 | Xavier Parent (TUVienna): A bridge from preference-based dyadic deontic logic to constrained I/O logic |
| 10:45–11:00 | Coffee break |
| 11:00–12:15 | Informal discussion sessions |
| (one led by Reka Markovich, possibly others) | |
| 12:15–14:00 | Lunch break |
| 14:00–14:45 | Kees van Berkel (TUWien): Argumentation-based proof-calculi for defeasible normative reasoning and measuring the inconsistency of a normative code to recommend action to agents |
| 14:45–15:30 | Davide Liga and Liuwen Yu (Luxembourg): Generating Explanations with Hybrid AI to Support the Right to Challenge |
| 15:30–15:45 | Coffee Break |
| 15:45–17:00 | Informal discussion sessions |
| (one led by Kees, possibly others) | |
| 17:00–… | LoDEx Meeting |
Organization and Funding
The event is organized by members of the research group on Reasoning, Rationality and Science and funded by the WEAVE/DFG LoDEx Research Project.