| Vol-4071 urn:nbn:de:0074-4071-x Copyright © 2025 for the individual papers by the papers' authors. Copyright © 2025 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# NMR 2025
Non-Monotonic Reasoning 2025

### Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025)
co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025)

### Melbourne, Australia, November 11-13, 2025.

Edited by

### Anna Rapberger 1,2
Sebastian Rudolph 3,4

1 Imperial College London, United Kingdom
2 TU Dortmund, Germany
3 TU Dresden, Germany
4 ScaDS.AI Dresden/Leipzig, Germany

## 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

2025-10-16: submitted by Sebastian Rudolph, metadata incl. bibliographic data published under Creative Commons CC0
2025-10-22: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|