default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd 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.
last updated on 2026-01-30 22:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
