Original: https://ceur-ws.org/Vol-4071/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-4071/ | Year: 2025

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 https://creativecommons.org/licenses/by/4.0/.

NMR 2025

Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025)
co-located with KR 2025

Melbourne, Australia, November 11-13, 2025.

Edited by

Anna Rapberger
Sebastian Rudolph

Table of Contents

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

2025-10-22: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|