NMR 2022
International Workshop on Non-Monotonic Reasoning 2022

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