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