Publications | LoDEx Research Project

Christoph Benzmüller, David Fuenmayor, Luca Pasetto (2026). Mathematical Proof Assistants for Teaching Logic: The LogiKEy Methodology. Preprint, arXiv:2610.08214.

Preprint DOI

Liuwen Yu, Xu Li, Leon van der Torre (2026). Agent defense in abstract argumentation: Semantics and principle-based analysis. Argument & Computation 17(2), pp. 141-182.

DOI

Luca Pasetto, Thomas Skafte, Leon van der Torre, Liuwen Yu (2026). The Libra Dialogue Protocol for Comparative Deliberation. 11th International Conference on Computational Models of Argument (COMMA 2026), pp. 173-184.

DOI

Luca Redondi (2026). Defeasible Case-Based Reasoning in Ethics: A Logic-Based Argumentative Model. 11th International Conference on Computational Models of Argument (COMMA 2026), pp. 269-280.

DOI

Kees van Berkel, Blaž Istenič Urh, Isabella Cissel (2026). A Conversation-Based Approach to Doxastic and Deontic Inference. 11th International Conference on Computational Models of Argument (COMMA 2026).

Luca Pasetto, Christoph Benzmüller, Réka Markovich (2026). Right on Thought, Left Private: Reasoning about Mental Privacy in LogiKEy. 10th International Joint Conference on Rules and Reasoning (RuleML+RR 2026), LNCS, Springer (forthcoming).

Christian Köll, Agata Ciabattoni (2026). SMT-Based Deontic Reasoning for Åqvist Logics. International Joint Conference on Automated Reasoning (IJCAR 2026).

Kees van Berkel, Andrea Sabatini (2026). Proof-Search for Normative and Doxastic Reasoning and its use in Logical Argumentation. Proceedings the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026).

Xu Li, Leon van der Torre, Liuwen Yu (2026). Revealed Epistemic Trust. 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026).

DOI

Emery Neufeld, Kees van Berkel (2026). Normative Narrator: Guiding and Explaining Reinforcement Learning Agents. 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026).

Matteo Magnini, Davide Liga, Luca Pasetto (2026). NL2UNIFOL: from Natural Language Sentences to Uniform First-Order Logic Formulae. SKILLED-LLMs Workshop at FLoC 2026, pp. 126-143.

PDF

Ali Farjami, Luca Pasetto (2026). Constrained Input/Output Logic in HOL: An Algebraic Embedding. 24th International Workshop on Non-Monotonic Reasoning (NMR 2026).

PDF

Mirko Tagliaferri, Dominik Pichler (2026). Robust Classification in ML: A Topological Semantics Approach. Proceedings of the 21st International Symposium on Logical and Semantic Frameworks with Applications (LSFA 2026), Electronic Proceedings in Theoretical Computer Science (EPTCS), vol. 449, pp. 185–201.

Luca Pasetto, Guido Governatori, Gabriele Buriola, Matteo Cristani (2026). Proof extraction for explanations in defeasible deontic logic. Journal of Logic and Computation.

DOI

Kees van Berkel, Josephine Dik (2026). Reasoning with Values in Norm-based Argumentation. International Conference on Artificial Intelligence and Law (ICAIL 2026).

Mirko Tagliaferri (2026). Beyond a Reasonable Doubt: A Logical Formalisation based on Topological Semantics. International Conference on Artificial Intelligence and Law (ICAIL 2026).

Agata Ciabattoni, Adrian Chroust, Yoann Morello, Henri Thölke (2026). A Reduction Model for Dimensions and Incomplete Facts. International Conference on Artificial Intelligence and Law (ICAIL 2026).

Huimin Dong, Réka Markovich, Leon van der Torre, Liuwen Yu (2026). Hierarchical Institutions for Contract Invalidity. 20th International Workshop on Juris-Informatics (JURISIN 2026), JSAI-isAI 2026, pp. 108-122.

Christoph Benzmüller, Daniel Kirchner, Luca Pasetto (2026). Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning. Preprint, arXiv:2605.27246.

Preprint DOI

Luca Pasetto, Christoph Benzmüller, Réka Markovich (2026). Formalizing Mental Privacy in LogiKEy. Extended Abstract at the 25th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026), pp. 3643-3645.

PDF

Marija Slavkovik, Liuwen Yu, Leon van der Torre, Réka Markovich, Beishui Liao (2026). Disobedience in Normative Multi-agent Systems. 25th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026), pp. 2438-2446.

PDF

Liuwen Yu, Chenyang Cai, Leon van der Torre, Réka Markovich (2026). Balancing for Agent Decision Making through Argumentation. 25th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026), pp. 2876-2885.

PDF

Xu Li, Leon van der Torre, Liuwen Yu (2026). A Logical Analysis of an Information Filtering Architecture Based on Epistemic Trust Inference. 40th AAAI Conference on Artificial Intelligence (AAAI 2026), pp. 19259-19266.

DOI

Agata Ciabattoni, Josephine Dik, Emiliano Lorini, Dominik Pichler, Dmitry Rozplokhas. (2025). From Explicit Allowances to Defeasible Deontic Operators: A Modal View.. 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025).

PDF

Liuwen Yu, Leon van der Torre, Réka Markovich, Beishui Liao, Chenyang Cai (2025). DiSCo-RAD: Reasoning Alignment for Judicial Discretion. 5th International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2025), College Publications, pp. 86-105.

Caren Al Anaissy, Chen Chen, Srdjan Vesic, Leon van der Torre, Liuwen Yu (2025). A Principle-Based Robustness Analysis of Labeling-Based Bipolar Argumentation Semantics. 5th International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2025), College Publications.

Davide Fazio, Perluigi Graziani, Raffaele Mascella, Mirko Tagliaferri (2025). Fake News Through Influence Models. Software Engineering and Formal Methods (SEFM 2025).

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.

Tjitze Rienstra, Leon van der Torre, Liuwen Yu (2025). Reasoning Alignment for Agentic AI: Argumentation, Belief Revision, and Dialogue. Journal of Applied Logics 12(6), pp. 1681-1710.

PDF

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