Logic List Mailing Archive

CfP: DEON 2025 - The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025), 01–03 July 2025, Vienna (Austria)

================================================
  CALL FOR PARTICIPATION: DEON 2025, VIENNA ================================================

The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025) will be held from July 1 - July 3, 2025 at TU Wien (Vienna, Austria). The conference will be preceded by a day of tutorials on June 30.


*About the DEON conference series*
The biennial International Conference on Deontic Logic and Normative Systems (DEON) conference series aims at bringing together researchers interested in the formal study of normative concepts,normative reasoning, and normative systems using methods from computer science, artificial intelligence, philosophy, linguistics, mathematics, and law. The series particularly aims at fostering interdisciplinary collaboration that combines methods from these various fields. Topics include but are not limited to the investigation of normative reasoning, concepts, and systems in relation to:
agency and action, argumentation, defeasible reasoning, deontic modals, epistemic reasoning, explainability, knowledge representation, legal reasoning, multi-agent systems, natural language, norm change/revision, philosophy of reasons, policy preference reasoning, responsibility, social values, temporal reasoning and trustworthy systems.

*Special focus*
In addition to the general themes of the DEON conference series, the special theme of this year's edition is Normative AI. 
The central aim of Normative AI is to ensure that AI systems make morally, legally, and socially acceptable decisions. As AI becomes increasingly important to human society, it is crucial to ensure that these technologies have a positive and responsible impact.
This highly interdisciplinary field involves the evaluation and development of theories, formal frameworks, and algorithms, integrating both symbolic and sub-symbolic AI methods.

*Keynotes*
     Natasha Alechina (Utrecht University, The Netherlands)
     Henry Prakken (Utrecht University, The Netherlands)
     Christian Straer (Ruhr University Bochum, Germany)


*Tutorial day*
In addition to the conference, DEON 2025 will be paired with full tutorial day hosting a variety of tutorials on DEON related topics by top researchers in their respective fields. The tutorial will be given by:
- Pedro Cabalar (Corunna University, Spain)
- Ilaria Canavotto (University of Maryland, US)
- Elisa Freschi (University of Toronto) & Josephine Dik (TU Wien)
- Matthias Scheutz (Tufts Institute for AI, US)


*Registration*
The early registration ends on Monday June 2nd (CEST) https://sites.google.com/view/deon-2025/registration

*Program Chairs*
Agata Ciabattoni, Vienna University of Technology (TU Wien) John Horty, University of Maryland, USA

*Accepted Papers*

Norm Avoidance and Reinforcement Learning: Definitions and Analysis
Authors: Benoit Alcaraz, Emery Neufeld, Amro Najjar and Leon van der Torre

Reasoning with and about normative conflicts
Authors: Kees van Berkel and Christian Strasser

Extending McNamaras Recent Modifications of the DWE Framework
Author: Paul McNamara

Deolingo: extending Answer Set Programming with Deontic Reasoning
Authors: Pedro Cabalar and Ovidio Manteiga

Reasons and the Logic of Obligation
Author: Stephan Krmer

Trivalent Semantics for Conditional Obligations
Authors: Paul gr, Lorenzo Rossi and Jan Sprenger

Deontic Argumentation
Authors: Guido Governatori and Antonino Rotolo

Quantified Deontic Stit Logic
Authors: Edward Roussel and Stef Frijters

A Truthmaker Semantics for Reason-Based Conditionals
Authors: Alessandro Giordani and Vita Saitta

Modal Logic for Agent-based Legal Classifications
Authors: Daniil Khaitovich and Lorenz Hornung

Input/Output Logic via Possible Worlds
Authors: Brandon Hopkins

Reasons against, balancing, and defeasible logic
Authors: Aleks Knoks

Connecting Free Choice Permission with Obligation and Prohibition by Not Doing It
Authors: Zilu Wang and Yanjing Wang

A Contrastive Semantics for Iffy Oughts
Authors: Xuefeng Wen and Yanan Liu

Navigating Permission and Exceptions: A First-Order Perspective
Authors: Josephine Dik and Dominik Pichler

Is moral particularism a problem for rule-based artificial normative systems?
Author: Joris Graff

Using Simple Deontic Constraints for Fast Norm-Conforming Reinforcement Learning
Authors: Daniel Little and Matthias Scheutz

Backward looking responsibility reconsidered.
Authors: Jan Broersen

Rational Monotony in Input Output Logic
Authors: Xu Li, Leendert van der Torre and Liuwen Yu

Deontically Constrained Policy Improvement in Reinforcement Learning Agents
Authors: Alena Makarova and Houssam Abbas

Deontic Explanations in qvist's systems
Authors: Agata Ciabattoni, Bla Isteni Urh and Xavier Parent

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php