NMR 2023
International Workshop on Non-Monotonic Reasoning 2023

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