Please find below the lists of the accepted papers and of the accepted software demonstrations, along with the calls. See also the provisional programme.
Accepted software demonstrations
The call for demonstrations was in pdf and text format.
Title | Author(s) | |
1. |
Demonstration of The Carneades Argumentation System | Thomas Gordon |
2. |
Authoring Arguments on the Semantic Web using Avicenna | Iyad Rahwan, Bita Banihashemi |
3. |
CaSAPI - an assumption-based argumentation system with explicit arguments | Dorian Gaertner, Francesca Toni |
4. |
An Epistemic and Practical Reasoner | Wietske Visser |
5. |
DeLP-Server: an Argumentative Reasoning Service | Alejandro Garcia, Guillermo R. Simari |
6. |
ARG!Draw: An Argument Graphs Drawing Tool | Tangming Yuan, Jenny Schulze |
7. |
Compendium | Simon Buckingham Shum |
8. |
Cohere | Simon Buckingham Shum |
Accepted papers
The second call for papers was in pdf and text format.
Title | Author(s) | |
1. |
The Computational Complexity of Ideal Semantics I: Abstract Argumentation Frameworks | Paul Dunne |
2. |
Asking the right question: forcing commitment in examination dialogues | Trevor Bench-Capon, Sylvie Doutre, Paul Dunne |
3. |
A Distributed Argumentation Framework using Defeasible Logic Programming | Matthias Thimm, Gabriele Kern-Isberner |
4. |
A Methodology for Action-Selection using Value-Based Argumentation | Fahad Nawab, Trevor Bench-Capon, Paul Dunne |
5. |
Diagramming the Argument Interchange Format | Glenn Rowe, Chris Reed |
6. |
On the Relationship of Defeasible Argumentation and Answer Set Programming | Matthias Thimm, Gabriele Kern-Isberner |
7. |
Investigating Stories in a Formal Dialogue Game | Floris Bex, Henry Prakken |
8. |
On measuring persuasion dialogs quality | Leila Amgoud, Florence Dupin de Saint Cyr |
9. |
Integrating Object and Meta-Level Value Based Argumentation | Sanjay Modgil, Trevor Bench-Capon |
10. |
Resolution-based argumentation semantics | Pietro Baroni, Massimiliano Giacomin |
11. |
Basic influence diagrams and the liberal stable semantics | Paul Matt, Francesca Toni |
12. |
AIF+: Dialogue in the Argument Interchange Format | Wells Simon, Chris Reed, Glenn Rowe, Joseph Devereux |
13. |
A systematic classification of argumentation frameworks where semantics agree | Pietro Baroni, Massimiliano Giacomin |
14. |
Political Engagement Through Tools for Argumentation | Dan Cartwright, Katie Atkinson |
15. |
Agent Dialogue as Partial Uncertain Argumentation and its Fixpoint Semantics | Takayoshi Takayoshi, Hajime Sawamura |
16. |
Arguments in OWL: A Progress Report | Iyad Rahwan, Bita Banihashemi |
17. |
Argument Theory Change: Revision Upon Warrant | Rotstein Nicolas, Moguillansky Martín, Falappa Marcelo, Garcia Alejandro, Guillermo Simari |
18. |
Modeling Persuasiveness: change of uncertainty through agents' interactions | Magdalena Kacprzak, Katarzyna Budzynska, Pawel Rembelski |
19. |
Strong and weak forms of abstract argument defense | Diego Martinez, Garcia Alejandro, Guillermo Simari |
20. |
Heuristics in Argumentation: A Game Theory Investigation | Regis Riveret, Henry Prakken, Antonino Rotolo, Giovanni Sartor |
21. |
Decision Rules and Arguments in Defeasible Decision Making | Edgardo Ferretti, Marcelo Errecalde, Garcia Alejandro, Simari Guillermo |
22. |
Cohere: Towards Web 2.0 Argumentation | Simon Buckingham Shum |
23. |
Ontological Foundations for Scholarly Debate Mapping Technology | Neil Benn, Simon Buckingham Shum, John Domingue, Clara Mancini |
24. |
Hybrid argumentation and its properties | Dorian Gaertner, Francesca Toni |
25. |
Arguments from Experience: The PADUA Protocol | Maya Wardeh, Trevor Bench-Capon, Frans Coenen |
26. |
A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming | Teresa Alsinet, Carlos Chesnevar, Lluis Godo Lacasa |
27. |
Argument Schemes and Critical Questions for Decision Aiding Process | Wassila Ouerdane, Nicolas Maudet, Alexis Tsoukias |
28. |
Modelling Judicial Context in Argumentation Frameworks | Adam Wyner, Trevor Bench-Capon |
29. |
Applying Preferences to Dialogue Graphs | Sanjay Modgil, Henry Prakken |
30. |
Towards argumentation-based contract negotiation | Phan Minh Dung, Phan Minh Thang, Francesca Toni |
31. |
Focused search for Arguments from Propositional Knowledge | Vasiliki Efstathiou, Anthony Hunter |
32. |
Argumentation Using Temporal Knowledge | Nick Mann, Anthony Hunter |
33. |
A computational model of argumentation in everyday conversation: A problem-centred approach (SHORT) | Jean-Louis Dessalles |
34. |
Requirements for reflective argument visualization tools (SHORT) | Michael Hoffmann |
35. |
Semantics for Evidence-Based Argumentation (SHORT) | Nir Oren, Timothy Norman |
36. |
On the Issue of Contraposition of Defeasible Rules (SHORT) | Martin Caminada |
37. |
Dungine: A Java Dung Reasoner (SHORT) | Mathew South, Gerard Vreeswijk, John Fox |