NMR 2025
Non-Monotonic Reasoning 2025

Table of Contents

• Preface i

Invited Talks

• Nonmonotonic Logics as a Key to Cognitive Logics 1
  Gabriele Kern-Isberner
• A Little of That Human Touch: Achieving Human-Centric Explainable AI via Argumentation 2
  Antonio Rago

Full Papers

• Skeptical Preferred Reasoning via Reducts in Abstract Argumentation 3-16
  Lars Bengel , Julian Sander , Matthias Thimm
• Splitting Assumption-Based Argumentation Frameworks 17-31
  Giovanni Buraglio
• On Strong Equivalence Notions in Logic Programming and Abstract Argumentation 32-45
  Giovanni Buraglio , Wolfgang Dvořák , Stefan Woltran
• Similarity Measures for First-Order Logical Arguments 46-59
  Victor David , Jérôme Delobelle , Jean-Guy Mailly
• ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving 60-73
  Martin Diller , Piotr Gorczyca
• Reasoning about Chance: Proof Theory for Aleatoric Logic 74-85
  Tim French
• Evaluating Novel Arguments in Case Models: Lessons from Belief Change and Abstract Argumentation for Case-based Reasoning 86-98
  Wachara Fungwacharakorn , Guilherme Paulino-Passos , Bart Verheij , Ken Satoh
• Deontic Argumentation 99-112
  Guido Governatori , Antonino Rotolo
• Kinematics Principles for Inductive Reasoning from Conditional Belief Bases 113-127
  Alexander Hahn , Gabriele Kern-Isberner , Lars-Phillip Spiegel , Christoph Beierle
• Merging Marginalized Total Preorders 128-141
  Alexander Hahn , Gabriele Kern-Isberner , Lars-Phillip Spiegel , Christoph Beierle
• Verification of General Games with QBF Solvers 142-156
  Yifan He , Abdallah Saffidine , Michael Thielscher
• Autoformalisation Answer Set Programs for Scheduling Problems using Few-Shot Learning and Chain-of-Thought 157-168
  Jesse Heyninck , Bart Van Gool , Stefano Bromuri , Tjitze Rienstra
• Strategic Principles for Revising Ranking Functions 169-182
  Gabriele Kern-Isberner , Alexander Hahn , Lars-Phillip Spiegel , Christoph Beierle
• Using AFT to Characterize Shen and Eiter's Disjunctive Logic Program Semantics 183-195
  Spencer Killen , Jia-Huai You
• Eliminating Unintended Stable Fixpoints in Approximation Fixpoint Theory 196-209
  Spencer Killen , Jia-Huai You
• Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective 210-224
  Nicholas Leisegang , Giovanni Casini , Thomas Meyer
• Towards Flexible Criteria in the Revision of Boolean Networks 225-238
  Rafael Patronilo , Matthias Knorr , Joao Leite
• Toward Defeasible Reasoning Using Knowledge Compilation Techniques 239-252
  Luke Slater , Thomas Meyer , Jesse Heyninck
• Resolving Constraint-Induced Inconsistencies in ASP Using lambda-Extensions 253-266
  Andre Thevapalan , Gabriele Kern-Isberner
• On Minimal Inconsistent Signatures and their Application to Inconsistency Measurement 267-280
  Matthias Thimm , Jandson S. Ribeiro , Dennis Peuter , Viorica Sofronie-Stokkermans
• The KLM Representation Theorem for System C, Formally 281-294
  Jonathan Walther , Kai Sauerwald , Jesse Heyninck

Extended Abstracts

• Inference Operators for Argumentation Formalisms – The Case of Dung-style Frameworks 295-299
  Ringo Baumann , Leon van der Torre
• On the Logic of Theory Base Change: Reformulation of Belief Bases 300-303
  Eduardo L. Fermé , Andreas Herzig , Maria Vanina Martinez
• A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation 304-307
  Jeroen P. Spaans , Jesse Heyninck