|
|
|
|
08:50 - 09:00 |
Opening |
|
|
9:00 - 9:20 |
Three senses of "Argument". Adam Wyner, Trevor J.M. Bench-Capon and Katie Atkinson. |
|
|
9:20 - 9:40 |
An Abstract Presentation of Dialectical Explanations in Defeasible Argumentation. Alejandro García, Carlos Iván Chesñevar, Nicolás Daniel Rotstein and Guillermo Ricardo Simari. |
|
|
9:40 - 10:00 |
Characterizing Defeat Graphs where Argumentation Semantics Agree. Pietro Baroni and Massimiliano Giacomin. |
|
|
10:00 - 10:20 |
Coffee break |
|
|
10:20 - 10:40 |
A Sound and Complete Dialectical Proof Procedure for Sceptical Preferred Argumentation. Phan Minh Dung and Phan Minh Thang. |
|
|
10:40 - 11:00 |
Argumentation-based Proof for an Argument in a Paraconsistent Setting. Iara Almeida and José Júlio Alferes. |
|
|
11:00 - 11:20 |
CaSAPI: A System for Credulous and Sceptical Argumentation. Dorian Gaertner and Francesca Toni,. |
|
|
11:20 - 12:20 |
Panel |
|
|
12:20 - 13:20 |
Lunch break |
|
|
13:20 - 13:40 |
Formal properties of the SCIFF-AF Multiagent Argumentation Framework. Paolo Torroni. |
|
|
13:40 - 14:00 |
Reductio ad Absurdum Argumentation in Normal Logic Programs. Luís Moniz Pereira, and Alexandre Miguel Pinto. |
|
|
14:00 - 14:20 |
Inferring Preferred Extensions by Minimal Models. Juan Carlos Nieves, Mauricio Osorio Galindo and Ulises Cortés. |
|
|
14:20 - 14:40 |
Discussion |
|
|
14:40 - 14:50 |
Closing |
|
|