Program
All times below are Central European Time (i.e., Rome time)
Proceedings available here.
Location: All sessions take place in Zoom "Room D" of KR 2021 (also reachable from the KR 2021 Gather space). Direct Link: https://us02web.zoom.us/j/8989305218?pwd=QWsrY3VvQWFZc21kbndlSVVLWm9CUT09
Use the KR 2021 Gather space for discussions and informal chat during the breaks. (Contact nmr2021@easychair.org if you didn't receive the password).
Use the #nmr channel in the KR 2021 Slack workspace for asynchronous discussion on papers or other NMR-related topics.
Video recordings of talks are available on the KR Conference YouTube page.
See the KR 2021 website for general info concerning virtual participation.
Day 1 (Wednesday, November 3)
08:45 - 09:00 Opening remarks
09:00 - 10:00 Invited talk: Nina Gierasimczuk. The Dynamics of True Belief: Learning by Revision and Merge
10:00 - 10:30 Break
10:30 - 13:00 Session 1: Belief Revision (Session chair: Eduardo Fermé)
Multiple Selective Revision (Fillipe Resina and Renata Wassermann)
Orders and belief revision (María Victoria León and Ramon Pino Perez)
Surprise Minimization Revision Operators (Adrian Haret)
An AGM Approach to Revising Preferences (Adrian Haret and Johannes P. Wallner)
Using Conditional Independence for Belief Revision (Matthew Lynn, James Delgrande and Pavlos Peppas)
13:00 - 14:30 Lunch break
14:30 - 16:00 Session 2: Argumentation I (Session chair: Johannes Wallner)
On the Relationship of Modularity Notions in Abstract Argumentation (Tom Friese and Markus Ulbricht)
Limits and Possibilities of Forgetting in Abstract Argumentation (Matti Berthold and Ringo Baumann)
Equivalence in Argumentation Frameworks with a Claim-centric View -- Classical Results with Novel Ingredients (Ringo Baumann, Anna Rapberger and Markus Ulbricht)
16:00 - 16:30 Break
16:30 - 18:00 Session 3: Reasoning about actions (Session chair: Meliha Sezgin)
Towards a Temporal Account of Contrary-to-Duty Constraints over Complex Actions in the Situation Calculus (Jens Classen and James Delgrande)
Inertial Causal Calculus (Alexander Bochman)
Formalizing the Three Player Card Game Using the Language mA* (Loc Pham, Tran Cao Son and Enrico Pontelli)
18:30 - 20:00 Virtual reception (in KR 2021 Gather space)
Day 2 (Thursday, November 4)
09:00 - 11:00 Session 4: Argumentation II (Session chair: Markus Ulbricht)
New Experiments on Reinstatement and Gradual Acceptability of Arguments (Elfia Bezou Vrakatseli, Henry Prakken and Christian P. Janssen)
On the Relation between Possibilistic Logic and Abstract Dialectical Frameworks (Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba and Matthias Thimm)
Arguing about Complex Formulas: Generalizing Abstract Dialectical Frameworks (Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Kenneth Skiba and Tjitze Rienstra)
Equivalence Results between SETAF and Attacking Abstract Dialectical Frameworks (Joao Alcantara and Samy Sá)
11:00 - 11:30 Break
11:30 - 13:00 Session 5: Inconsistency Handling (Session chair: Maria Vanina Martinez)
Working Memory for Assessment Under Inconsistency (Pierre Bisquert and Florence Dupin De Saint Cyr)
Algorithms for Inconsistency Measurement Using Answer Set Programming (Isabelle Kuhlmann and Matthias Thimm)
An Argumentative Perspective to Conflictive Interpretation of Knowledge (Diego Martinez, Maria Laura Cobo, Maximiliano Budan and Antonino Rotolo)
13:00 - 14:30 Lunch break
14:30 - 16:30 Session 6: Non-monotonic Reasoning (Session chair: Florence Bannay)
Autonomous Decision-Making with Incomplete Information and Safety Rules based on Non- Monotonic Reasoning (José-Luis Vilchis-Medina, Karen Godary-Dejean and Charles Lesire)
KLM-Style Defeasibility for Restricted First-Order Logic (Giovanni Casini, Thomas Meyer and Guy Paterson-Jones)
On the Cognitive Adequacy of Non-monotonic Logics (Sara Todorovikj, Gabriele Kern-Isberner and Marco Ragni)
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview (Laura Giordano, Valentina Gliozzi and Daniele Theseider Dupré)
16:30 - 17:00 Break
17:00 - 18:00 Invited talk: Vered Shwartz. Nonmonotonic Reasoning in Natural Language
Day 3 (Friday, November 5)
09:00 - 11:00 Session 7: Reasoning with Conditionals (Session chair: Laura Giordano)
Postulates for Transformations Among Epistemic States Represented by Ranking Functions or Total Preorders (Jonas Philipp Haldimann, Christoph Beierle and Gabriele Kern-Isberner)
Modeling Human Reasoning About Conditionals (Marcos Cramer, Steffen Hölldobler and Marcos Ragni)
Forgetting Formulas and Signature Elements in Epistemic States (Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald and Christoph Beierle)
On the Learnability of Possibilistic Theories (Cosimo Persia and Ana Ozaki)
11:00 - 11:30 Break
11:30 - 13:30 Session 8: Belief Change (Session chair: Sébastien Konieczny)
Merging Conditional Beliefs: Approaches based on Syntax and Semantic (Meliha Sezgin and Gabriele Kern-Isberner)
Certification of Iterated Belief Changes via Model Checking and its Implementation (Kai Sauerwald, Philip Heltweg and Christoph Beierle)
Revising Ontologies via Models: The ALC-formula Case (Jandson S. Ribeiro, Ricardo Guimarães and Ana Ozaki)
Belief Base Contraction by Cutting Connections (Matthew James Lynn and James P. Delgrande)
13:30 - 15:00 Lunch break
15:00 - 16:00 Invited talk: Tran Cao Son. Model Reconciliation and Its Applications in Explainable Planning
16:00 - 16:30 Break
16:30 - 18:00 Session 9: Argumentation III (Session chair: Tomi Janhunen)
A Reduct-Driven Study of Argumentation Frameworks With Collective Attacks (Wolfgang Dvořák, Matthias König, Markus Ulbricht and Stefan Woltran)
Computational Complexity of Strong Admissibility for Abstract Dialectical Frameworks (Atefeh Keshavarzi Zafarghandi, Wolfgang Dvořák, Rineke Verbrugge and Bart Verheij)
Interlinking Logic Programs and Argumentation Frameworks (Chiaki Sakama and Son Tran)
18:00 - 18:15 Closing remarks, including announcement of Best Student Original Paper winners