


default search action
23rd NMR 2025: Melbourne, Australia
- Anna Rapberger

, Sebastian Rudolph
:
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. CEUR Workshop Proceedings 4071, CEUR-WS.org 2025
Full Papers
- Lars Bengel, Julian Sander, Matthias Thimm:

Skeptical Preferred Reasoning via Reducts in Abstract Argumentation. 3-16 - Giovanni Buraglio:

Splitting Assumption-Based Argumentation Frameworks. 17-31 - Giovanni Buraglio, Wolfgang Dvorák, Stefan Woltran:

On Strong Equivalence Notions in Logic Programming and Abstract Argumentation. 32-45 - Victor David, Jérôme Delobelle, Jean-Guy Mailly:

Similarity Measures for First-Order Logical Arguments. 46-59 - Martin Diller, Piotr Gorczyca:

ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving. 60-73 - Tim French:

Reasoning about Chance: Proof Theory for Aleatoric Logic. 74-85 - Wachara Fungwacharakorn, Guilherme Paulino-Passos, Bart Verheij, Ken Satoh:

Evaluating Novel Arguments in Case Models: Lessons from Belief Change and Abstract Argumentation for Case-based Reasoning. 86-98 - Guido Governatori, Antonino Rotolo:

Deontic Argumentation. 99-112 - Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel, Christoph Beierle:

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 - Yifan He, Abdallah Saffidine, Michael Thielscher:

Verification of General Games with QBF Solvers. 142-156 - Jesse Heyninck, Bart van Gool, Stefano Bromuri, Tjitze Rienstra:

Autoformalisation Answer Set Programs for Scheduling Problems using Few-Shot Learning and Chain-of-Thought. 157-168 - Gabriele Kern-Isberner, Alexander Hahn, Lars-Phillip Spiegel, Christoph Beierle:

Strategic Principles for Revising Ranking Functions. 169-182 - Spencer Killen, Jia-Huai You:

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 - Nicholas Leisegang, Giovanni Casini, Thomas Andreas Meyer:

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective. 210-224 - Rafael Patronilo, Matthias Knorr, Joao Leite:

Towards Flexible Criteria in the Revision of Boolean Networks. 225-238 - Luke Slater, Thomas Meyer, Jesse Heyninck:

Toward Defeasible Reasoning Using Knowledge Compilation Techniques. 239-252 - Andre Thevapalan, Gabriele Kern-Isberner:

Resolving Constraint-Induced Inconsistencies in ASP Using lambda-Extensions. 253-266 - Matthias Thimm, Jandson S. Ribeiro, Dennis Peuter, Viorica Sofronie-Stokkermans:

On Minimal Inconsistent Signatures and their Application to Inconsistency Measurement. 267-280 - Jonathan Walther, Kai Sauerwald, Jesse Heyninck:

The KLM Representation Theorem for System C, Formally. 281-294
Extended Abstracts
- Ringo Baumann, Leon van der Torre:

Inference Operators for Argumentation Formalisms - The Case of Dung-style Frameworks. 295-299 - Eduardo L. Fermé, Andreas Herzig, Maria Vanina Martinez:

On the Logic of Theory Base Change: Reformulation of Belief Bases. 300-303 - Jeroen Paul Spaans, Jesse Heyninck:

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation. 304-307

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














