08:00-08:45 | Registration |
09:00-09:30 | Persistence and Monotony Properties of Argumentation Semantics, Tjitze Rienstra, Chiaki Sakama and Leendert Van Der Torre |
09:30-10:00 | Non-Monotonic Inference Properties for Assumption-Based Argumentation, Kristijonas Cyras and Francesca Toni |
10:00-10:30 | Hidden Power of Abstract Argumentation Semantics, Thomas Linsbichler, Christof Spanring and Stefan Woltran |
10:30-11:00 | Coffee |
11:00-11:30 | Representational Succinctness of Abstract Dialectical Frameworks, Hannes Strass |
11:30-12:00 | An axiomatic approach to support in argumentation, Claudette Cayrol and Marie-Christine Lagasquie |
12:00-12:30 | Argumentation-based Normative Practical Reasoning, Zohreh Shams, Marina de Vos, Nir Oren, Julian Padget and Ken Satoh |
12:30-14:00 | Lunch |
14:00-14:30 | Argument Solver Competition |
14:30-15:00 | Comparing and integrating argumentation-based with matrix-based decision support in Arg & Dec, Marco Aurisicchio, Pietro Baroni, Dario Pellegrini and Francesca Toni |
15:00-15:30 | The Matrix Approach for Abstract Argumentation Frameworks, Yuming Xu and Claudette Cayrol |
15:30-16:00 | Coffee |
16:00-16:30 | Abstract Solvers for Dung's Argumentation Frameworks, Remi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner and Stefan Woltran |
16:30-17:00 | A Discussion Game for Grounded Semantics, Martin Caminada |