Program

Location: Skiftnyckel room. Proceedings available here.

08:30-09:00 Coffee

09:00-10:00 Invited talk: Stefan Woltran - Towards Preprocessing for Abstract Argumentation Frameworks (abstract) (slides)

10:00-10:30 Vitor Machado and Mario Benevides - Populational Announcement Logic (PPAL)

10:30-11:00 Maximilian Pensel and Anni-Yasmin Turhan - Making Quantification Relevant Again - the Case of Defeasible EL_bot

11:00-11:30 Jean-Louis Stilgenbauer, Jean Baratgin and Igor Douven - Reasoning strategies for diagnostic probability estimates in causal contexts: Preference for defeasible deduction over abduction

12:00-13:30 Lunch

13:30-14:00 Yannick Chevalier - Self-Correcting Unsound Reasoning Agents

14:00-14:30 Mathieu Beirlaen - Combining Inductive Generalization and Factual Abduction

14:30-15:00 Emmanuelle-Anna Dietz, Steffen Hölldobler and Tobias Philipp - Contextual Abduction and its Complexity Issues

Note: Each presentation should be 25min long, with 5min of the slot reserved for Q&A.