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