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