The Tutorial day consists of 4 tutorials on DEON-related topics, given by renowned international researchers.
08:15 - 08:55: Registration open
08:55 - 09:00: Welcome
09:00 - 10:30: Tutorial: How to Design Norm-Following Agents (by Matthias Scheutz)
10:30 - 11:00: Coffee break
11:00 - 12:30: Tutorial: Normative Reasoning with Deontic Answer Set Programming (by Pedro Cabalar)
12:30 - 13:30: Lunch
13:30 - 15:00: Tutorial: New sources for deontics: The Mīmāṃsā school of Sanskrit philosophy (by Elisa Freschi and Josephine Dik)
15:00 - 15:30: Coffee break
15:30 - 17:00: Tutorial: Formal Models of Case-Based Normative Reasoning: Insights from AI and Law (by Ilaria Canavotto)
17:30 - 18:30: VCLA International Student Awards Ceremony
18:30: Reception
08:15 - 08:50: Registration open
08:50 - 09:00: Welcome (Dean: Gerti Kappel, Chairs: Agata Ciabattoni and John Horty)
09:00 - 10:00: Keynote: Natasha Alechina. Norms and Reinforcement Learning
10:00 - 10:30: Coffee break
10:30 - 12:15: Session: Reinforcement Learning
Benoit Alcaraz, Emery Neufeld, Amro Najjar and Leon van der Torre. Norm Avoidance and Reinforcement Learning: Definitions and Analysis (pdf)
Daniel Little and Matthias Scheutz. Using Simple Deontic Constraints for Fast Norm-Conforming Reinforcement Learning (pdf)
Alena Makarova and Houssam Abbas. Deontically Constrained Policy Improvement in Reinforcement Learning Agents (pdf)
12:15 - 14:00: Lunch
14:00 - 15:45: Session: Semantics
Paul Égré, Lorenzo Rossi and Jan Sprenger. Trivalent Semantics for Conditional Obligations (pdf)
Xuefeng Wen and Yanan Liu. A Contrastive Semantics for Iffy Oughts (pdf)
Alessandro Giordani and Vita Saitta. A Truthmaker Semantics for Reason-Based Conditionals (pdf)
15:45 - 16:15: Coffee break
16:15 - 18:00: Session: Reasons, Explanations and Supererogation
09:00 - 10:00: Keynote: Henry Prakken. An argumentation approach to modelling actual causation in the law
10:00 - 10:30: Coffee break
10:30 - 11:40: Session: Responsibility and Legal Reasoning
Daniil Khaitovich and Lorenz Hornung. Modal Logic for Agent-based Legal Classifications (pdf)
Jan Broersen. Backward looking responsibility reconsidered (pdf)
11:40 - 12:15: Poster presentations
Beatrice Ferrigno and Antonino Rotolo. Bridging AI Risk Assessment and Rights Promotion and Protection: A Semantic Model (pdf)
Luca Redondi. Casuistical reasoning in bioethics as an argumentation-based dialogue game (pdf)
Davide Soldà. Integrating Action Choices and Well-Founded Semantics for Deontic Planning (pdf)
Qiaoyang Zhang. Ought to do based on action and belief (pdf)
Vincent de Wit, Aleks Knoks and Leendert van der Torre. Dual Scale Detachment (pdf)
Mahan Vaz and Daniel Skurt. Two semantic approaches for non-dilemmatic situations (pdf)
Josephine Dik and Réka Markovich. When Judges Go Wrong: Modeling Discretion and the Duty of Care (pdf)
Andrea De Domenico, Ali Farjami, Krishna Balajirao Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis and Xiaolong Wang. Normative implications (pdf)
Thom van Gessel and Frank Jacobus Adrianus Goossens. Formalizing FLINT: a logic of preconditions and consequences of actions (pdf)
Houssam Abbas. From Act Obligations to Knowledge Obligations (pdf)
12:15 - 14:30: Group Photo > Lunch > Poster session
14:30 - 15:40: Session: AI systems
Pedro Cabalar and Ovidio Manteiga. Deolingo: extending Answer Set Programming with Deontic Reasoning (pdf)
Joris Graff. Is moral particularism a problem for rule-based artificial normative systems? (pdf)
15:40 - 16:30: Steering committee meeting
16:30 - 18:30: Hike
18:30: Dinner
09:00 - 10:00: Keynote: Christian Straßer. Deontic Argumentation Calculi: A Modular and Explanatory Framework for Normative Reasoning
10:00 - 10:30: Coffee break
10:30 - 12:15: Session: Argumentation and Conficts
Guido Governatori and Antonino Rotolo. Deontic Argumentation (pdf)
Aleks Knoks. Reasons against, balancing, and defeasible logic (pdf)
Kees van Berkel and Christian Strasser. Reasoning with and about normative conflicts (pdf)
12:15 - 14:00: Lunch
14:00 - 15:45: Session: Permission and Quantifiers
Zilu Wang and Yanjing Wang. Connecting Free Choice Permission with Obligation and Prohibition by Not Doing It (pdf)
Josephine Dik and Dominik Pichler. Navigating Permission and Exceptions: A First-Order Perspective (pdf)
Edward Roussel and Stef Frijters. Quantified Deontic Stit Logic (pdf)
15:45 - 16:15: Coffee break
16:15 - 17:25: Session: Input/Output Logic
Brandon Hopkins. Input/Output Logic via Possible Worlds (pdf)
Xu Li, Leendert van der Torre and Liuwen Yu. Rational Monotony in Input Output Logic (pdf)
17:25 - 17:35: Closing Remarks (pdf)
For questions concerning DEON: deon2025@logic.at.