Publications

Josephine Dik, Réka Markovich (2025). When Judges Go Wrong: Modeling Discretion and the Duty of Care. Extended Abstract at 17th International Conference on Deontic Logic and Normative Systems (DEON 2025).

Pere Pardo, Liuwen Yu, Chen Chen, Leon van der Torre (2025). Weakest link, prioritized default logic and principles in argumentation. Journal of Logic and Computation.

Luca Pasetto, Christoph Benzmüller (2025). Visualizing Kripke Models in LogiKEy: the Case of SDL. Workshop on Logic Programming and Legal Reasoning (LPLR 2025).

Vincent de Wit, Aleks Knoks, Leon van der Torre (2025). Toward a Principle-Based Analysis of Dual-Scale Detachment. Extended Abstract at 17th International Conference on Deontic Logic and Normative Systems (DEON 2025).

Liuwen Yu, Leon van der Torre (2025). The A-BDI Metamodel for Human-Level AI - Argumentation as Balancing, Dialogue and Inference. CLAR 2025.

Lara Lawniczak, Luca Pasetto, Christoph Benzmüller, Xu Li, Réka Markovich (2025). Reasoning with Epistemic Rights and Duties: Automating a Dynamic Logic of the Right to Know in LogiKEy. 28th European Conference on Artificial Intelligence (ECAI 2025).

Xu Li, Liuwen Yu, Leon van der Torre (2025). Rational Monotony in Input/Output Logic. 17th International Conference on Deontic Logic and Normative Systems (DEON 2025).

Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang (2025). Probabilistic Causal Kripke Models. LORI 2025.

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Xiaolong Wang (2025). Normative Implications. Extended Abstract at 17th International Conference on Deontic Logic and Normative Systems (DEON 2025).

Benoît Alcaraz, Emery A. Neufeld, Amro Najjar, Leon van der Torre (2025). Norm Avoidance and Reinforcement Learning: Definitions and Analysis. 17th International Conference on Deontic Logic and Normative Systems (DEON 2025).

Jospehine Dik, Réka Markovich (2025). Judicial Discretion as Normative Reasoning – Deontic Characterization of Judicial Decision Making with Answer Set Programming. Proceedings of the 20th International Conference on AI and Law.

Ringo Baumann, Leon van der Torre (2025). Inference Operators for Argumentation Formalisms – The Case of Dung-style Frameworks. 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025).

Vincent de Wit, Aleks Knoks, Leon van der Torre (2025). Dual Scale Detachment. JELIA 2025.

Liuwen Yu, Davide Liga, Réka Markovich (2025). Addressing the Right to Explanation and the Right to Challenge through Hybrid-AI: Symbolic Constraints over Large Language Models via Prompt Engineering. Proceedings of the 20th International Conference on AI and Law.

Agata Ciabattoni, Dmitry Rozplokhas, Matteo Tesi (2025). GL-Based Calculi for PCL and Its Deontic Cousin. JELIA - European Conference on Logics in Artificial Intelligence.

Josephine Dik, Dominik Pichler (2025). Navigating Permission and Exceptions: A First-Order Perspective. DEON 2025 - Proceedings of the 17th International Conference on Deontic Logic and Normative Systems.

Agata Ciabattoni, Blaž Istenič Urh, Xavier Parent (2025). Deontic Explanations in Åqvist's Systems. DEON - 17th International Conference on Deontic Logic and Normative Systems.

Agata Ciabattoni, Josephine Dik, Elisa Freschi (2025). Mīmāṃsā on "better-not" Permissions. Journal of Philosophical Logic.

Liuwen Yu, Leon van der Torre, Réka Markovich (2025). Thirteen Challenges in Formal and Computational Argumentation. Journal of Applied Logics Volume 12, number 3, March 2025.

Xavier Parent, Dominik Pichler (2025). Extensionality vs Intensionality: A Perspectival Account of Conditional Ought with Definite Descriptions. Journal of Applied Logics.

Josephine Dik, Réka Markovich (2024). Modeling Judicial Discretion with Nuanced Permissions. JURIX 2024.

Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Straßer (2024). Deontic Reasoning based on Inconsistency Measures. Proceedings of KR 2024.

Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas (2024). Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. Proceedings of KR 2024.

Kees van Berkel, Christian Straßer, Zheng Zhou (2024). Towards an Argumentative Unification of Default Reasoning. Frontiers in Artificial Intelligence and Applications.

Giorgio Cignarale, Roman Kuznets (2024). A priori Belief Updates as a Method for Agent Self-Recovery. Review of Analytic Philosophy 4(1).

Kees van Berkel, Christian Straßer (2024). A Tutorial in Proof-Theoretic Approaches to Logical Argumentation. Proceedings of the Reasoning Web Summer School 2023.

Michael A. Müller, Blaž Istenič Urh, Teodor-Stefan Zotescu, Ulle Endriss (2024). Breaking the Cycle. Preference-Based Aggregation for Cyclic Argumentation Frameworks. Computational Models of Argument 2024.

Beishui Liao, Leon van der Torre (2024). Attack-Defense Semantics of Argumentation. COMMA 2024: Computational Models of Argument.

Kees van Berkel, Christian Straßer (2024). Towards Deontic Explanations Through Dialogue. ArgXAI-24: 2nd International Workshop on Argumentation for eXplainable AI.

Christian Straßer, Pere Pardo (2024). The Goal after Tomorrow: Offline Goal Reasoning with Norms. Journal of Artificial Intelligence Research.

Jinsheng Chen, Beishui Liao, Leon van der Torre (2024). Bisimulation between base argumentation and premise-conclusion argumentation. Artificial Intelligence 336.

Agata Ciabattoni, Dmitry Rozplokhas (2024). Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). IJCAI 2024 Sister Conferences’ Best Paper Track.

Xavier Parent, Christoph Benzmüller (2024). Conditional normative reasoning as a fragment of HOL. Journal of Applied Non-classical Logic.

Aleks Knoks, Muyun Shaoc, Leon van der Torre, Vincent de Wit, Liuwen Yu (2024). A Principle-based Analysis for Numerical Balancing. LNGAI 2024: Proceedings of the 4th International Workshop on Logics for New-Generation Artificial Intelligence.

Agata Ciabattoni, Matteo Tesi (2024). Sequents vs hypersequents for Åqvist systems. International Joint Conference on Automated Reasoning.

Luca Pasetto, Christoph Benzmüller (2024). Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy. ARQNL 2024: Automated Reasoning in Quantifed Non-Classical Logics.

Xavier Parent, Christoph Benzmüller (2024). Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset) . Archives of Formal Proof.

Matteo Tesi (2024). Subintuitionistic logics and their modal companions: a nested approach. Journal of Applied Non-Classical Logics.

Mario Piazza, Matteo Tesi (2024). Analyticity with extra-logical information. Journal of Logic and Computation.

Eugenio Orlandelli, Matteo Tesi (2024). A Syntactic Proof of the Decidability of First-Order Monadic Logic. Bulletin of the Section of Logic.

Ofer Arieli, Kees van Berkel, Christian Straßer (2024). Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation. Proceedings of the AAAI Conference on Artificial Intelligence.

Matteo Tesi (2023). Constructive Theories Through a Modal Lens. Logic Journal of the IGPL.

Luca Pasetto, Matteo Cristani, Guido Governatori, Francesco Olivieri, Edoardo Zorzi (2023). Extraction of Defeasible Proofs as Explanations. AI3@AI*IA 2023.

Maya Olszewski, Xavier Parent, Leon van der Torre (2023). Permissive and regulative norms in deontic logic. Journal of Logic and Computation 34(4).