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