| Vol-3835 urn:nbn:de:0074-3835-0 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# NMR 2024
Nonmonotonic Reasoning 2024

### Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024)
co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)

### Hanoi, Vietnam, November 2-4, 2024.

Edited by

### Nina Gierasimczuk 1
Jesse Heyninck 2,3

1 Technical University of Denmark, Department of Applied Mathematics and Computer Science, Kongens Lyngby, Denmark
2 Open Universiteit, Department of Computer Science, Heerlen, the Netherlands
3 University of Cape Town, Department of Computer Science, Cape Town, South-Africa

## 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

2025-10-23: submitted by Nina Gierasimczuk, metadata incl. bibliographic data published under Creative Commons CC0
2024-11-19: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|