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