NMR 2023

21st International Workshop on Nonmonotonic Reasoning

Programme Overview

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

Programme Saturday (September 2)

09:00-09:30	NMR Opening/Welcome
09:30-10:30	Invited Talk: Diego Calvanese (chair: Matthias Thimm)
10:30-11:00	Coffee break
Session 1: Belief Change (chair: Tommie Meyer)
11:00-11:30	Jandson S. Ribeiro Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report)
11:30-12:00	Eduardo Fermé, Marco Garapa and Maurício Reis Causes for changing profiles (preliminary report)
12:00-14:30	Lunch break
Session 2: Reasoning and Explanation (chair: Jesse Heyninck)
14:30-15:00	Jonas Philipp Haldimann, Christoph Beierle and Gabriele Kern-Isberner Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds
15:00-15:30	Bimal 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:00	Johanna Wolff, Victor de Boer, Dirk Heylen and Birna van Riemsdijk Using Non-Monotonic Reasoning for Understandable and Flexible User-Models
16:00-16:30	Coffee break

Programme Sunday (September 3)

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

Programme Monday (September 4)

09:30-10:30	Invited Talk: Juha Kontinen (chair: Kai Sauerwald)
10:30-11:00	Coffee break
Session 7: Argumentation A (chair: Matthias Thimm)
11:00-11:30	Gianvincenzo Alfano, Sergio Greco, Francesco Parisi and Irina Trubitsyna On the Extended Preference-based Constrained Argumentation Framework
11:30-12:00	Gianvincenzo Alfano, Sergio Greco, Francesco Parisi and Irina Trubitsyna On the Conditional Preference-based Argumentation Framework
12:00-12:30	Yannis Dimopoulos, Wolfgang Dvořák, Matthias König, Anna Rapberger, Markus Ulbricht and Stefan Woltran Sets Attacking Sets in Abstract Argumentation
12:30-14:30	Lunch break
Session 8: Argumentation B (chair: Vanina Martinez)
14:30-15:00	Mario Alviano, Laura Giordano and Daniele Theseider Dupre Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation
15:00-15:30	Mariela Morveli-Espinoza, Juan Carlos Nieves and Cesar A. Tacla A Gradual Semantics with Imprecise Probabilities for Support Argumentation Frameworks
15:30-16:00	NMR Closing
16:00-16:30	Coffee break