NMR 2026

Table of Contents

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