NMR 2024
Nonmonotonic Reasoning 2024

Table of Contents

• Preface
  Summary: There were 25 papers submitted for peer-review to this workshop. Out of these, 19 papers were accepted for this volume, 18 as regular papers and 1 as extended abstract.

Invited Talks

• Interval Orders and Biorders: Under-explored Playgrounds for NMR and Belief Revision (Invited Talk, Abstract) 1
  Richard Booth
• Navigating ASP Solution Spaces (Invited Talk, Abstract) 2
  Sarah Alice Gaggl

Regular Papers

• On Computational Problems for Infinite Argumentation Frameworks: The Complexity of Finding Acceptable Extensions 3-13
  Uri Andrews, Luca San Mauro
• Linear Algebraic Partial Evaluation of Logic Programs 14-23
  Tuan Nguyen, Katsumi Inoue, Chiaki Sakama
• Probabilistic Logic Programming under the L-Stable Semantics 24-33
  Denis Deratani Mauá, Fabio G. Cozman, Alexandro Garces
• Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm 34-43
  Dominik Klumpp, Jandson S. Ribeiro
• Reasoning about Simultaneous Change in Trust and Belief 44-52
  Aaron Hunter
• Abstract Dialectical Frameworks are Boolean Networks 53-60
  Jesse Heyninck, Matthias Knorr, João Leite
• An Extension-Based Argument-Ranking Semantics: Social Rankings in Abstract Argumentation 61-71
  Lars Bengel, Giovanni Buraglio, Jan Maly, Kenneth Skiba
• Defining an Adaptable Framework for Behaviour Support Agents in Default Logic 72-82
  Johanna Wolff, Victor de Boer, Dirk Heylen, M. Birna van Riemsdijk
• Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results 83-93
  Piotr Gorczyca, Hannes Strass
• A First Peek into Preferential Logics with Team Semantics 94-100
  Kai Sauerwald, Juha Kontinen
• Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification 101-111
  Marco Wilhelm, Alexander Hahn, Gabriele Kern-Isberner
• On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head 112-121
  Anna Rapberger, Markus Ulbricht, Francesca Toni
• Using ADFs for Inconsistency-Tolerant Query Answering with Existential Rules 122-131
  Atefeh Keshavarzi Zafarghandi, Patrick Koopmann
• Using SAT and Partial MaxSAT for Reasoning with System Z and System W 132-141
  Christoph Beierle, Aron Spang, Jonas Haldimann
• The Role of Syntax in Inductive Inference: A Property-based Study 142-151
  Jesse Heyninck, Richard Booth, Thomas Meyer
• A Hitting Set Approach to Inconsistent-Tolerant Reasoning 152-161
  Yehia Hatab, Kai Sauerwald, Matthias Thimm
• Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics 162-172
  Alexander Hahn, Gabriele Kern-Isberner, Thomas Meyer
• On Syntactic Forgetting with relativized Strong Persistence 173-182
  Matti Berthold

Extended Abstracts

• Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract) 183-186
  Lukas Gerlach, David Carral, Markus Hecher