Programme
Keynote speaker
Toulouse Institute of Computer Science Research (IRIT), France
Keynote title: On logical encodings for argumentation-based reasoning
Abstract: From the early logical encodings of argumentation frameworks and semantics to the most efficient SAT-based argumentation solvers, translating argumentation-based reasoning into logical formalisms has proven highly valuable over the years. Numerous extensions of Dung’s seminal abstract framework have been proposed, including the addition of support relations, higher-order or collective interactions, and incompleteness. This talk will provide an overview of enriched abstract argumentation frameworks and present a modular, generic logical encoding that covers several families of such frameworks.
Accepted papers
- Lars Bengel, Matti Berthold, Oleksandr Dzhychko and Matthias Thimm: AgonProject: An Online Platform for Exploring Approaches to Formal Argumentation
- Shawn Bowers and Bertram Ludäscher: Exploring Intervention-Solution Spaces (ISS): Change and Choice in Abstract Argumentation
- Wachara Fungwacharakorn, Adam Dejl, Emanuele De Angelis, Maurizio Proietti, Francesca Toni and Ken Satoh: Fixing What Goes Wrong: A Comparison between Legal Debugging and Contestable Argumentation Learning
- Tuomo Lehtonen: ABu: Efficient Argument Builder for Assumption-based Argumentation
- Kenneth Skiba: I win, You lose - Computational Complexity of Verification and NonVerification in Abstract Argumentation
- Jonas Klein and Matthias Thimm: Resolving Prompt Conflicts in Text-to-X Models with Abstract Argumentation
- Albert Sadowski: From Contexts to Values: Context-Dependent Defeat in Abstract Argumentation
- Stefano Bistarelli, Marco Cuccarini and Carlo Taticchi: Acceptance Trees for Dialogue and Decision Support over Bipolar Argumentation Frameworks
Draft programme
| 09:15-09:30 | Opening |
| 09:30-10:30 | Keynote: Sylvie Doutre - On logical encodings for argumentation-based reasoning |
| 10:30-11:00 | Coffee break |
| 11:00-11:30 | Lars Bengel, Matti Berthold, Oleksandr Dzhychko, and Matthias Thimm - AgonProject: An Online Platform for Exploring Approaches to Formal |
| 11:30-12:00 | Wachara Fungwacharakorn, Adam Dejl, Emanuele De Angelis, Maurizio Proietti, Francesca Toni, and Ken Satoh - Fixing What Goes Wrong: A Comparison between Legal Debugging and Contestable Argumentation Learning |
| 12:00-12:30 | Jonas Klein and Matthias Thimm - Resolving Prompt Conflicts in Text-to-X Models with Abstract Argumentation |
| 12:30-14:00 | Lunch break |
| 14:00-14:30 | Albert Sadowski - From Contexts to Values: Context-Dependent Defeat in Abstract Argumentation |
| 14:30-15:00 | Stefano Bistarelli, Marco Cuccarini, and Carlo Taticchi - Acceptance Trees for Dialogue and Decision Support over Bipolar Argumentation Frameworks |
| 15:00-15:30 | Tuomo Lehtonen - ABu: Efficient Argument Builder for Assumption-based Argumentation |
| 15:30-16:00 | Coffee break |
| 16:00-16:30 | Shawn Bowers and Bertram Ludäscher - Exploring Intervention-Solution Spaces (ISS): Change and Choice in Abstract Argumentation |
| 16:30-17:00 | Kenneth Skiba - I win, You lose - Computational Complexity of Verification and NonVerification in Abstract Argumentation |
| 17:00-17:30 | Presentation of the Sixth International Competition on Computational Models of Argumentation (ICCMA'25) |
| 17:30-17:45 | Closing |
| 19:00- | Dinner TBA |
