NMR — PROGRAM
Days: Friday, 17 July 2026 Saturday, 18 July 2026 Sunday, 19 July 2026
Friday, 17 July 2026
09:15-09:30
Opening
NMR
Location:
B1.04
09:30-10:30
Leila Amgoud
NMR
Location:
B1.04
10:30-11:00
Coffee Break
NMR
Location:
B1.04
11:00-12:30
Argumentation 1
NMR
Location:
B1.04
| 11:00-11:30 |
A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation (Extended Abstract) (abstract) 30 min
1 Università della Calabria
2 DISIT, Università del Piemonte Orientale
|
| 11:30-12:00 |
Towards a Characterization of Stable Labelling Realizability - The Problem of Inherent Non-Determinism (abstract) 30 min
1 Leipzig University, Scads.AI Dresden
2 Leipzig
|
| 12:00-12:30 |
Tenability: Non-Uniform Defense in Abstract Argumentation (abstract) 30 min
1 University of Wisconsin - Madison
2 University of Bari
|
12:30-14:00
Lunch
NMR
Location:
B1.04
14:00-15:30
Belief Change
NMR
Location:
B1.04
| 14:00-14:30 |
Understanding Zhang's Partial Expansion (abstract) 30 min
1 University of Cape Town and CAIR
2 Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires - Instituto de Investigación en Ciencias de la Computación, UBA-CONICET
|
| 14:30-15:00 |
Constructive Preference Relations: Navigating Undecidability in Rational LTL Contraction (abstract) 30 min
1 University of Tübingen
2 LIX - CNRS - École Polytechnique
3 Cardiff University
|
| 15:00-15:30 |
Truth-tracking by Belief Merge (abstract) 30 min
1 Technical University of Denmark
2 University of Luxembourg
|
15:30-16:00
Coffee Break
NMR
Location:
B1.04
16:00-17:30
NMR & Explainable AI
NMR
Location:
B1.04
| 16:00-16:30 |
Toward Defeasible Machine Learning: When Learned Rule Sets Become Defeasible Theories (abstract) 30 min
1 University of the Western Cape and CAIR
2 University of Cape Town and CAIR
|
| 16:30-17:00 |
A Resource-Aware Structural Causal Semantics for Feasibility Analysis of Counterfactuals (abstract) 30 min
1 University College London
2 University College London and Institute of Philosophy, University of London
|
| 17:00-17:30 |
Learning Symbolic Temporal Advice for Guiding Reinforcement Learning (abstract) 30 min
1 TU Wien
2 University of Verona
|
17:00-17:30
Closing
NMR
Location:
B1.04
Saturday, 18 July 2026
09:00-10:00
Tommie Meyer
NMR
Location:
B1.04
10:00-10:30
Coffee Break
NMR
Location:
B1.04
10:30-12:00
DL & NMR
NMR
Location:
B1.04
| 10:30-11:00 |
On Combining Abstract Argumentation Frameworks with Knowledge Bases (abstract) 30 min
1 University of Calabria
|
| 11:00-11:30 |
Semantics for Description Logics via Assumption-Based Argumentation: Preliminary Results (abstract) 30 min
1 TU Wien
|
| 11:30-12:00 |
Postulates here, postulates everywhere: a discussion of contraction postulates (abstract) 30 min
1 University of São Paulo
2 University of Sao Paulo
|
12:00-13:30
Lunch
NMR
Location:
B1.04
13:30-15:00
Defeasible Beliefs
NMR
Location:
B1.04
| 13:30-14:00 |
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic (abstract) 30 min
1 University of Cape Town and CAIR
2 Université Sorbonne Paris Nord
|
| 14:00-14:30 |
Standpoint Logics with Defeasible Beliefs (abstract) 30 min
1 University of Cape Town and CAIR
2 TU Dresden
|
| 14:30-15:00 |
Probabilistic epistemic spaces, Lockean beliefs, Stable beliefs and change (abstract) 30 min
1 IIIA - CSIC
2 Universidad de Los Andes
3 Universidad de Buenos Aires
4 Universitat de Barcelona
|
15:00-15:30
Coffee Break
NMR
Location:
B1.04
15:30-17:00
Foundations
NMR
Location:
B1.04
| 15:30-16:00 |
An Infinitary and a Cyclic Sequent Calculus for Non-Monotone Inductive Definitions (abstract) 30 min
1 KU Leuven, Vrije Universiteit Brussel
|
| 16:00-16:30 |
Categorical independence in nonmonotonic reasoning (abstract) 30 min
1 University of Cape Town and CAIR
2 Open Universiteit, the Netherlands
|
| 16:30-17:00 |
Constrained Input/Output Logic in HOL: An Algebraic Embedding (abstract) 30 min
1 University of Luxembourg
|
Sunday, 19 July 2026
09:30-10:30
Matthias Knorr
NMR
Location:
B1.04
10:30-11:00
Coffee Break
NMR
Location:
B1.04
11:00-12:30
ASP
NMR
Location:
B1.04
| 11:00-11:30 |
Knowledge Engineering and Reasoning with Answer Set Programs and Conditional Belief Bases (abstract) 30 min
1 Technische Universität Dortmund
2 Institute of Medical Biostatistics, Epidemiology and Informatics (IMBEI), University Medical Center of the Johannes Gutenberg University, Mainz
3 FernUniversität Hagen
4 Federal Institute for Occupational Safety and Health
|
| 11:30-12:00 |
Applying Answer Set Programming with fuzzy membership functions: a case study (abstract) 30 min
1 University of Calabria
|
| 12:00-12:30 |
A Definitional Fragment of Temporal Equilibrium Logic: from Temporal Programs to Compact Automata (abstract) 30 min
1 TU Wien, Austria
|
12:30-14:00
Lunch
NMR
Location:
B1.04
14:00-15:30
Argumentation 2
NMR
Location:
B1.04
| 14:00-14:30 |
Ranking-based Semantics for Incomplete Argumentation Frameworks (abstract) 30 min
1 Artificial Intelligence Group - University of Hagen
2 IRIT, université Toulouse Capitole
3 Universite Paris Cite, LIPADE, F-75006 Paris, France
|
| 14:30-15:00 |
On the Complexity of the Discussion-based Semantics in Abstract Argumentation (abstract) 30 min
1 University of Hagen
|
| 15:00-15:30 |
On Algorithmic Shortcuts for Skeptical Preferred Reasoning in Abstract Argumentation (abstract) 30 min
1 Artificial Intelligence Group, University of Hagen
|
15:30-16:00
Coffee Break
NMR
Location:
B1.04
16:00-17:00
Planning
NMR
Location:
B1.04
| 16:00-16:30 |
Towards Defeasible Reasoning about Actions and their Effects (abstract) 30 min
1 University of Cape Town and CAIR
2 TU Wien
|
| 16:30-17:00 |
On Action Reversibility in Lifted Planning (abstract) 30 min
1 University of Klagenfurt
2 Czech Technical University in Prague
|
17:00-17:30
Closing
NMR
Location:
B1.04