| Vol-3464 urn:nbn:de:0074-3464-4 Copyright © 2023 for the individual papers by the papers' authors. Copyright © 2022 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 2023
International Workshop on Non-Monotonic Reasoning 2023

### Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023)

### Rhodes, Greece, September 2-4, 2023.

Edited by

### Kai Sauerwald *
Matthias Thimm *

* FernUniversität in Hagen, Germany

## Table of Contents

- Preface i
- Programme committee ii

### Invited Talks

- Verification of Temporal Properties in Communicating Datalog Programs 1
  Diego Calvanese
- Team-based logics and their applications 2
  Juha Kontinen
- Brushing-up description logics to cope with imperfect data 3
  Anni-Yasmin Turhan

### Full Papers

- Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation 4-13
  Mario Alviano, Laura Giordano, Daniele Theseider Dupré
- A Logic-Based Explainable Framework for Relation Classification of Human Rights Violations 14-21
  Bimal Bhattarai, Rupsa Saha, Ole-Christoffer Granmo, Vladimir Zadorozhny, Jiawei Xu
- Sets Attacking Sets in Abstract Argumentation 22-31
  Yannis Dimopoulos, Wolfgang Dvořák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran
- Collaborate and Explain on the Fly: Nonmonotonic Logical Reasoning and Incremental Learning for Ad Hoc Teamwork 32-42
  Hasra Dodampegama, Mohan Sridharan
- Eviction and Reception for Description Logic Ontologies (Preliminary Results) 43-51
  Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
- Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds 52-63
  Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner
- An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation (Preliminary Report) 64-73
  Jesse Heyninck
- Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report) 74-83
  Jesse Heyninck
- A Gradual Semantics with Imprecise Probabilities for Support Argumentation Frameworks 84-93
  Mariela Morveli-Espinoza, Juan Carlos Nieves, Cesar A. Tacla
- Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report) 94-103
  Jandson S. Ribeiro
- Human Conditional Reasoning in Answer Set Programming 104-114
  Chiaki Sakama

### Extended Abstracts

- On the Conditional Preference-based Argumentation Framework 115-119
  Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
- On the Extended Preference-based Constrained Argumentation Framework 120-124
  Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
- Causes for changing profiles (Extended Abstract) 125-128
  Eduardo Fermé, Marco Garapa, Maurício Reis
- An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications 129-132
  Isabelle Kuhlmann, Carl Corea, John Grant
- Using Non-Monotonic Reasoning for Understandable and Flexible User-Models 133-136
  Johanna Wolff, Victor de Boer, Dirk Heylen, Birna van Riemsdijk

2023-08-25: submitted by Kai Sauerwald, metadata incl. bibliographic data published under Creative Commons CC0
2023-08-29: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|