NMR 2025
23rd International Workshop on Nonmonotonic Reasoning
Programme Overview
| Time | 11th November | 12th November | 13th November |
|---|---|---|---|
| 09:15-09:30 | Opening | ||
| 09:30-10:00 | Argumentation 1 | Invited Talk: Gabriele Kern-Isberner |
Invited Talk: Antonio Rago |
| 10:00-10:30 | |||
| 10:30-11:00 | Coffee break | Coffee break | Coffee break |
| 11:00-11:30 | Argumentation 2 | Belief Change 1 | Belief Change 2 |
| 11:30-12:00 | |||
| 12:00-12:30 | |||
| 12:30-13:00 | Lunch break | Lunch break | Lunch break |
| 13:00-13:30 | |||
| 13:30-14:00 | |||
| 14:00-14:30 | Conditionals | Approximation Fixpoint Theory |
Argumentation 3 (Argu & Logic) |
| 14:30-15:00 | |||
| 15:00-15:30 | |||
| 15:30-16:00 | Break | Break | Closing Ceremony |
| 16:00-16:30 | Answer Set Programming 1 | Answer Set Proramming 2 | |
| 16:30-17:00 | |||
| 19:00-22:00 | NMR Workshop Dinner |
The NMR Workshop Dinner will take place on November 12th at 19:00 at Red Spice Road, 141 Queen St, Melbourne VIC 3000.
Programme Tuesday (11th Nov)
| 09:00-09:30 | NMR Opening/Welcome |
| Session 1: Argumentation 1 (Assumption-based Argumentation) Chair: Anna Rapberger |
|
| 09:30-10:00 | Giovanni BuraglioSplitting Assumption-Based Argumentation Frameworks |
| 10:00-10:30 | Martin Diller and Piotr GorczycaABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving | 10:30-11:00 | Coffee break |
| Session 2: Argumentation 2 (Abstract Argumentation) Chair: Lydia Blümel |
|
| 11:00-11:30 | Lars Bengel, Julian Sander and Matthias ThimmSkeptical Preferred Reasoning via Reducts in Abstract Argumentation |
| 11:30-12:00 | Giovanni Buraglio, Wolfgang Dvořák and Stefan WoltranOn Strong Equivalence Notions in Logic Programming and Abstract Argumentation |
| 12:00-12:30 | Wachara Fungwacharakorn, Guilherme Paulino-Passos, Bart Verheij and Ken SatohEvaluating Novel Arguments in Case Models: Lessons from Belief Change and Abstract Argumentation for Case-based Reasoning | 12:30-14:00 | Lunch break |
| Session 3: Conditionals Chair: Gabriele Kern-Isberner |
|
| 14:00-14:30 | Jonathan Walther, Kai Sauerwald and Jesse HeyninckThe KLM Representation Theorem for System C, Formally |
| 14:30-15:00 | Nicholas Leisegang, Giovanni Casini and Thomas MeyerSemantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective |
| 15:00-15:30 | Luke Slater, Thomas Meyer and Jesse HeyninckToward Defeasible Reasoning Using Knowledge Compilation Techniques | 15:30-16:00 | Break |
| Session 4: ASP 1 (Autoformalisation and Application) Chair: Martin Diller |
|
| 16:00-16:30 | Jesse Heyninck, Bart Van Gool, Stefano Bromuri and Tjitze RienstraAutoformalisation Answer Set Programs for Scheduling Problems using Few-Shot Learning and Chain-of-Thought |
| 16:30-17:00 | Rafael Patronilo, Matthias Knorr and Joao LeiteTowards Flexible Criteria in the Revision of Boolean Networks |
Programme Wednesday (12th Nov)
| 09:30-10:30 | Invited Talk: Gabriele Kern-Isberner Chair: Sebastian Rudolph |
10:30-11:00 | Coffee break |
| Session 5: Belief Change 1 Chair: Maria Vanina Martinez |
|
| 11:00-11:30 | Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel and Christoph BeierleMerging Marginalized Total Preorders |
| 11:30-12:00 | Matthias Thimm, Jandson S. Ribeiro, Dennis Peuter and Viorica Sofronie-StokkermansOn Minimal Inconsistent Signatures and their Application to Inconsistency Measurement |
| 12:00-12:30 | Tim FrenchReasoning about Chance: Proof Theory for Aleatoric Logic | 13:30-14:00 | Lunch break |
| Session 6: Approximation Fixpoint Theory Chair: Matthias Knorr |
|
| 14:00-14:30 | Spencer Killen and Jia-Huai YouUsing AFT to Characterize Shen and Eiter's Disjunctive Logic Program Semantics |
| 14:30-15:00 | Spencer Killen and Jia-Huai YouEliminating Unintended Stable Fixpoints in Approximation Fixpoint Theory |
| 15:00-15:30 | Jeroen P. Spaans and Jesse HeyninckA Unifying Framework for Semiring-Based Constraint Logic Programming With Negation | 15:30-16:00 | Break |
| Session 7: ASP 2 (Extensions) Chair: Jesse Heyninck |
|
| 16:00-16:30 | Andre Thevapalan and Gabriele Kern-IsbernerResolving Constraint-Induced Inconsistencies in ASP Using lambda-Extensions |
| 16:30-17:00 | Yifan He, Abdallah Saffidine and Michael ThielscherVerification of General Games with QBF Solvers |
| 19:00-22:00 | NMR Workshop Dinner |
Programme Thursday (13th Nov)
| 09:30-10:30 | Invited Talk: Antonio Rago Chair: Anna Rapberger |
| 10:30-11:00 | Coffee break |
| Session 8: Belief Change 2 Chair: Kai Sauerwald |
|
| 11:00-11:30 | Gabriele Kern-Isberner, Alexander Hahn, Lars-Phillip Spiegel and Christoph BeierleStrategic Principles for Revising Ranking Functions |
| 11:30-12:00 | Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel and Christoph BeierleKinematics Principles for Inductive Reasoning from Conditional Belief Bases |
| 12:00-12:30 | Eduardo L. Fermé, Andreas Herzig and Maria Vanina MartinezOn the Logic of Theory Base Change: Reformulation of Belief Bases | 12:30-14:00 | Lunch break |
| Session 9: Argumentation 3 (Argu and Logic) Chair: Sarah Gaggl |
|
| 14:00-14:30 | Guido Governatori and Antonino RotoloDeontic Argumentation |
| 14:30-15:00 | Victor David, Jérôme Delobelle and Jean-Guy MaillySimilarity Measures for First-Order Logical Arguments |
| 15:00-15:30 | Ringo Baumann and Leon van der TorreInference Operators for Argumentation Formalisms – The Case of Dung-style Frameworks |
| 15:30-16:00 | Closing Ceremony/Best Paper Award/Stats |