===================== THURSDAY 2nd =====================

14:00-15:30 welcome and lunch

-- Session 1: Norms and trust -----------

15:30-16:20 Leon van der Torre. Advanced Intelligent Systems and Reasoning (Invited talk)

16:20-16:50 Andreas Herzig. A minimal logic of trust

16:50-17:20 Coffee break --------

-- Session 2: Non-Monotonic Reasoning ----------

17:20-17:50 Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner and Christoph Beierle. Plausible Reasoning from Conditionals with System~P and Rational Monotony

17:50-18:20 Carlos Aguilera Ventura, Jonathan Ben-Naim and Andreas Herzig. Coherentist vs. foundationalist belief revision: bringing them together

18:20-18:30 Break ------

-- Session 3: Applications ----------

18:30-19:00 Müge Fidan and Esra Erdem. Knowledge-Based Stable Roommates Problem: A Real-World Application

19:00-19:30 Davide Liga and Luca Pasetto. Testing the reasoning of Large Language Models on tic-tac-toe

======================================================

===================== FRIDAY 3rd =====================

======================================================

-- Session 4: Explanation using ASP ------------

10:00-10:50 Tomi Janhunen. Explaining with Short Boolean Formulas in Practice (Invited talk)

10:50-11:20 Shqiponja Ahmetaj. Explanations for Non-Validation in SHACL using Answer Set Programming

11:20-11:50 Coffee break --------

-- Session 5: Explaining answer sets I ------------

11:50-12:20 Mario Alviano, Ly Trieu, Tran Cao Son and Marcello Balduccini. Advancements in xASP

12:20-12:50 Thomas Eiter and Tobias Geibinger Explaining Answer-Set Programs with Abstract Constraint Atoms

12:50-13:15 Creation of working groups**

13:15-14:00 Parallel working groups meetings

14:00-15:30 Lunch break ------

-- Session 6: Learning ------------

15:30-16:00 Pedro Cabalar and Brais Muñiz Castro. Common sense Explanations for the Blocks World

16:00-16:30 Zeynep G. Saribatur and Stefan Woltran. A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming

16:30-17:00 Coffee break --------

-- Session 7: Explaining answer sets II ----------

17:00-17:50 João Leite. Towards Counterfactual Reasoning within Neural Networks (Invited talk)

17:50-18.20 Xinghan Liu. A logic of "black box" classifiers

18:20-18:30 Break ------

18:30-19:00 Working groups: summaries + reconfiguration

21:00 Informal dinner for whoever wants

======================================================

===================== SATURDAY 4th =====================

======================================================

-- Session 8: Knowledge and Belief ----------

10:00-10:50 Hans van Ditmarsch, Distributed Knowledge Revisited (Invited talk)

10:50-11:20 Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald and Christoph Beierle Activation-Based Conditional Inference

11:20-11:50 Coffee break --------

-- Session 9: Argumentation ------------

11:50-12:20 Antonio Yuste-Ginel and Carlo Proietti. On the instantiation of argument-incomplete argumentation frameworks

12:20-12:50 Giovanni Buraglio, Wolfgang Dvorak, Anna Rapberger and Stefan Woltran. Constrained Derivation in Assumption-Based Argumentation

12:50-13:00 Break ------

13:00-14:00 Parallel working groups meetings

14:00-15:30 Lunch break ------

15:30 - Afternoon free or social event

21:00 - Workshop Dinner

======================================================

===================== SUNDAY 5th =====================

======================================================

-- Session 10: Explaining answer sets III ------------

10:00-10:50 Esra Erdem. Explanation Generation in Applications of Answer Set Programming (Invited talk)

10:50-11:20 Zeynep G. Saribatur. Abstraction for Answer Set Programs and its Potential for Explainability

11:20-11:50 Final summary of working groups

11:50-12:10 Coffee break --------

-- Session 11: Adequacy of Logic for Reasoning and AI ----------

12:10-13:00 Gabriele Kern-Isberner. The Relevance of Formal Logics for Cognitive Logics, and Vice Versa (Invited talk)

13:00-13:30 Beishui Liao. Logics for the New Generation of AI: An Argumentation-Based Methodology

13:30-14:00 Nicolas Madrid. Adequacy of AI techniques for Digital Forensic tasks

14:00 - 15:30 lunch and close.

==================================================