NMR 2026
Non-Monotonic Reasoning 2026

Table of Contents

• Preface
  Summary: There were 33 submissions for peer-review to this workshop. Out of these, 22 papers and 4 extended abstracts were accepted for this volume.

Full Papers

• On the Complexity of the Discussion-based Semantics in Abstract Argumentation
  Lydia Blümel, Kai Sauerwald, Kenneth Skiba, Matthias Thimm
• Towards a Characterization of Stable Labelling Realizability - The Problem of Inherent Non-Determinism
  Ringo Baumann, Anne-Marie Heine
• On Algorithmic Shortcuts for Skeptical Preferred Reasoning in Abstract Argumentation
  Lars Bengel, Julian Sander, Matthias Thimm
• Semantics for Description Logics via Assumption-Based Argumentation: Preliminary Results
  Giovanni Buraglio, Federica Di Stefano, Mantas Šimkus
• A Resource-Aware Structural Causal Semantics for Feasibility Analysis of Counterfactuals
  Pinaki Chakraborty, David Pym, Tristan Caulfield
• Constrained Input/Output Logic in HOL: An Algebraic Embedding
  Ali Farjami, Luca Pasetto
• Categorical Independence in Nonmonotonic and Probabilistic Reasoning
  Roy Ferguson, Jonas Haldimann, Jesse Heynick, Thomas Meyer
• Applying Answer Set Programming with Fuzzy Membership Functions: a Case Study
  Luca Ferragina, Ilenia Galati, Lorena Gullone, Francesco Scarcello
• Probabilistic Epistemic Spaces, Lockean Beliefs, Stable Beliefs and Change
  Tommaso Flaminio, Lluis Godo, Ramón Pino Pérez, Ricardo O. Rodriguez, Lluis Subirana
• Constructive Preference Relations: Navigating Undecidability in Rational LTL Contraction
  Hannes Gaißer, Dominik Klumpp, Jandson S Ribeiro
• Truth-Tracking by Belief Merge
  Nina Gierasimczuk, Thomas Skafte
• Understanding Zhang’s Partial Expansion
  Daniel Grimaldi, Leandro Riera, Ricardo O. Rodriguez
• Knowledge Engineering and Reasoning with Answer Set Programs and Conditional Belief Bases
  Alexander Hahn, Andre Thevapalan, Gabriele Kern-Isberner, Christoph Beierle, Lars-Phillip Spiegel, Marco Wilhelm
• Towards Defeasible Reasoning about Actions and Their Effects
  Jonas Haldimann, Mantas Šimkus, Thomas Meyer
• Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
  Nicholas Leisegang, Thomas Meyer, Ivan Varzinczak
• Standpoint Logics with Defeasible Beliefs
  Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
• Toward Defeasible Machine Learning: When Learned Rule Sets Become Defeasible Theories
  Ruvarashe Madzime, Thomas Meyer
• On Action Reversibility in Lifted Planning
  Michael Morak, Lukáš Chrpa, Jakub Med Wolfgang Faber
• Postulates Here, Postulates Everywhere: A Discussion of Contraction Postulates
  Anne C. Rocha, Renata Wassermann
• A Definitional Fragment of Temporal Equilibrium Logic: from Temporal Programs to Compact Automata
  Mantas Šimkus
• Ranking-based Semantics for Incomplete Argumentation Frameworks
  Kenneth Skiba, Jean-Guy Mailly, Jérôme Delobelle
• An Infinitary and a Cyclic Sequent Calculus for Non-Monotone Inductive Definitions
  Robbe Van den Eede

Extended Abstracts

• On Combining Abstract Argumentation Frameworks with Knowledge Bases (Extended Abstract)
  Gianvincenzo Alfano, Sergio Greco, Tariq Mahmood, Cristian Molinaro, Francesco Parisi, Irina Trubitsyna
• A Many-Valued Multi-Preferential Propositional Typicality Logic and a Conditional Interpretation for Gradual Argumentation (Extended Abstract)
  Mario Alviano, Laura Giordano, Daniele Theseider Dupré
• Tenability and Non-Uniform Defense (Extended Abstract)
  Uri Andrews, Luca San Mauro, John Spoerl
• Learning Symbolic Temporal Advice for Guiding Reinforcement Learning (Extended Abstract)
  Paulius Skaisgiris, Celeste Veronese, Daniele Meli