| Vol-3197 urn:nbn:de:0074-3197-0 Copyright © 2022 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 2022
International Workshop on Non-Monotonic Reasoning 2022

### Proceedings of the 20th International Workshop on Non-Monotonic Reasoning
Part of the Federated Logic Conference (FLoC 2022)

### Haifa, Israel, August 7-9, 2022.

Edited by

### Ofer Arieli *
Giovanni Casini **
Laura Giordano ***

* The Academic College of Tel-Aviv, Department of Computer Science, Tel-Aviv, Israel
** CNR, ISTI, Pisa, Italy
*** Università del Piemonte Orientale, Dipartimento di Scienze e Innovazione Tecnologica, Alessandria, Italy

## Table of Contents

- Preface i
  Summary: There were 20 papers submitted for peer-review to this workshop. Out of these, 18 papers were accepted for this volume, 12 as regular papers and 6 as extended abstracts.

- Program Committee ii

### Invited Talks

- Hybrid Answer Set Programming: Opportunities and Challenges 1
  Thomas Eiter
- Rectifying Classifiers 2
  Pierre Marquis
- Fallacious Arguments: the Place where Knowledge Representation and Argument Mining Meet Each Other 3
  Serena Villata

### Accepted Papers

- Towards Legally and Ethically Correct Online HTN Planning for Data Transfer 4-15
  Hisashi Hayashi, Ken Satoh
- Repairing Ontologies via Kernel Pseudo-Contraction 16-26
  Vinícius Bitencourt Matos, Renata Wassermann
- The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View 27-38
  Michael Bernreiter, Wolfgang Dvořák, Anna Rapberger, Stefan Woltran
- Trust Graphs for Belief Revision: Framework and Implementation 39-48
  Aaron Hunter, Sam Tadey
- Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming 49-60
  Victor Hugo Nascimento Rocha, Fabio Gagliardi Cozman
- Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect 61-69
  Jesse Heyninck, Gabriele Kern-Isberner, Thomas Meyer
- Modelling Agents Roles in the Epistemic Logic L-DINF 70-79
  Stefania Costantini, Andrea Formisano, Valentina Pitoni
- Truth-Tracking with Non-Expert Information Sources 80-91
  Joseph Singleton, Richard Booth
- Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity 92-103
  Anna Rapberger, Markus Ulbricht, Johannes P. Wallner
- A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications 104-114
  Richard Scherl
- There and Back Again: Combining Non-monotonic Logical Reasoning and Deep Learning on an Assistive Robot 115-126
  Mohan Sridharan, Chloé Benz, Arthur Findelair, Kévin Gloaguen
- From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back 127-138
  Laura Giordano

### Extended Abstracts

- Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility 139-142
  Clayton K. Baker, Thomas Meyer
- Abductive Reasoning with Sequent-Based Argumentation 143-146
  Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer
- On Some Weakened Forms of Transitivity in the Logic of Norms 147-150
  Xavier Parent
- Situated Conditionals - A Brief Introduction 151-154
  Giovanni Casini, Thomas Meyer, Ivan Varzinczak
- Defeasible Reasoning in RDFS 155-158
  Giovanni Casini, Umberto Straccia
- Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥ 159-162
  Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan

2022-07-25: submitted by Giovanni Casini, metadata incl. bibliographic data published under Creative Commons CC0
2022-08-22: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|