NMR 2023

21st International Workshop on Nonmonotonic Reasoning

NMR 2023 is in room NAFSICA A; the joint sessions with DL on Sunday are in room DELPHI. See also here: floor plan

Programme Overview

Saturday (September 2) Sunday (September 3) Monday (September 4)
09:00-09:30NMR Opening/Welcome 09:00-10:00Invited Talk Anni-Yasmin Turhan
(joint with DL)
09:30-10:30Invited Talk Diego Calvanese 09:30-10:30Invited Talk Juha Kontinen
10:00-10:30Session 3: Joint NMR/DL Session A
10:30-11:00Coffee break 10:30-11:00Coffee break 10:30-11:00Coffee break
11:00-12:00Session 1: Belief Change 11:00-12:15Session 4: Joint NMR/DL Session B 11:00-12:30Session 7: Argumentation A
12:00-14:30Lunch break 12:15-14:30Lunch break 12:30-14:30Lunch break
14:30-16:00Session 2: Reasoning and Explanations 14:30-16:00Session 5: Logic Programming 14:30-15:30Session 8: Argumentation B
15:30-16:00NMR Closing
16:00-16:30Coffee break 16:00-16:30Coffee break 16:00-16:30Coffee break
16:30-17:00Session 6: Reasoning and Learning

Programme Saturday (September 2)

09:00-09:30NMR Opening/Welcome
09:30-10:30Invited Talk: Diego Calvanese (chair: Matthias Thimm)
10:30-11:00Coffee break
Session 1: Belief Change (chair: Tommie Meyer)
11:00-11:30Jandson S. Ribeiro
Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report)
11:30-12:00Eduardo Fermé, Marco Garapa and Maurício Reis
Causes for changing profiles (preliminary report)
12:00-14:30Lunch break
Session 2: Reasoning and Explanation (chair: Jesse Heyninck)
14:30-15:00Jonas Philipp Haldimann, Christoph Beierle and Gabriele Kern-Isberner
Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds
15:00-15:30Bimal Bhattarai, Rupsa Saha, Ole-Christoffer Granmo, Vladimir Zadorozhny and Jiawei Xu
A Logic-Based Explainable Framework for Relation Classification of Human Rights Violations
15:30-16:00Johanna Wolff, Victor de Boer, Dirk Heylen and Birna van Riemsdijk
Using Non-Monotonic Reasoning for Understandable and Flexible User-Models
16:00-16:30Coffee break

Programme Sunday (September 3)

09:00-10:00Invited Talk: Anni-Yasmin Turhan
(joint with DL; chair: Ana Ozaki)
Session 3: Joint NMR/DL Session A (chair: Ana Ozaki)
10:05-10:30Franz Baader
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract)
10:30-11:00Coffee break
Session 4: Joint NMR/DL Session B (chair: Kai Sauerwald)
11:00-11:25Ricardo Guimarães, Ana Ozaki and Jandson S. Ribeiro
Eviction and Reception for Description Logic Ontologies (Preliminary Results)
11:25-11:50Carsten Lutz, Quentin Manière and Robin Nolte
Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract)
11:50-12:15Jesse Heyninck
An algebraic notion of conditional independence, and its application to knowledge representation: preliminary report
12:15-14:30Lunch break
Session 5: Logic Programming (chair: Markus Ulbricht)
14:30-15:00Jesse Heyninck
Semantics for logic programs with choice constructs on the basis of approximation fixpoint theory: preliminary report
15:00-15:30Chiaki Sakama
Human Conditional Reasoning in Answer Set Programming
15:30-16:00Isabelle Kuhlmann, Carl Corea and John Grant
An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications
16:00-16:30Coffee break
Session 6: Reasoning and Learning (chair: Jandson Ribeiro)
16:30-17:00Hasra Dodampegama and Mohan Sridharan
Collaborate and Explain on the Fly: Nonmonotonic Logical Reasoning and Incremental Learning for Ad Hoc Teamwork
Workshop Dinner
19:30-ENDWorkshop Dinner together with DL
at Romios Restaurant in the medieval city centre of Rhodos

Programme Monday (September 4)

09:30-10:30Invited Talk: Juha Kontinen (chair: Kai Sauerwald)
10:30-11:00Coffee break
Session 7: Argumentation A (chair: Matthias Thimm)
11:00-11:30Gianvincenzo Alfano, Sergio Greco, Francesco Parisi and Irina Trubitsyna
On the Extended Preference-based Constrained Argumentation Framework
11:30-12:00Gianvincenzo Alfano, Sergio Greco, Francesco Parisi and Irina Trubitsyna
On the Conditional Preference-based Argumentation Framework
12:00-12:30Yannis Dimopoulos, Wolfgang Dvořák, Matthias König, Anna Rapberger, Markus Ulbricht and Stefan Woltran
Sets Attacking Sets in Abstract Argumentation
12:30-14:30Lunch break
Session 8: Argumentation B (chair: Vanina Martinez)
14:30-15:00Mario Alviano, Laura Giordano and Daniele Theseider Dupre
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation
15:00-15:30Mariela Morveli-Espinoza, Juan Carlos Nieves and Cesar A. Tacla
A Gradual Semantics with Imprecise Probabilities for Support Argumentation Frameworks
15:30-16:00NMR Closing
16:00-16:30Coffee break
The talk on the paper Hasra Dodampegama, Mohan Sridharan: Collaborate and Explain on the Fly: Nonmonotonic Logical Reasoning and Incremental Learning for Ad Hoc Teamwork is given online, and can be found here: talk on the paper.
The regular NMR 2023 webpage is here: NMR 2023 webpage