Please contact us if:

• you are an author of a paper, and your slides (pdf or ppt) are not already available, or contrariwise, your slides are available and you want them to be removed;
• you are an author of a software demonstration, and you wish to add a link to a webpage that presents this software;
• you appear in the Gala dinner photo album, and you want your photo to be removed.
  
  
  

Wednesday 28 May
08:00 - 08:45	Registration
08:45 - 09:00	Introduction and Welcome (Philippe Besnard and Tony Hunter)
09:00 - 10:00	Invited talk: Henry Prakken - On the structure of arguments, and what it means for dialogue (Chair: Tony Hunter)
10:00 - 11:00	Theory	Chair: Francesca Toni
		-		Integrating Object and Meta-Level Value Based Argumentation - Sanjay Modgil, Trevor Bench-Capon
		-		A systematic classification of argumentation frameworks where semantics agree - Pietro Baroni, Massimiliano Giacomin
11:00 - 11:30	Coffee break
11:30 - 12:45	Theory	Chair: Paul Dunne
		-		Hybrid argumentation and its properties - Dorian Gaertner, Francesca Toni
		-		Strong and weak forms of abstract argument defense - Diego Martinez, Garcia Alejandro, Guillermo Simari
		-		On the Issue of Contraposition of Defeasible Rules - Martin Caminada (Short)
12:45 - 14:15	Lunch
14:15 - 16:30	Dialogue	Chair: Chris Reed
		-		On measuring persuasion dialogs quality - Leila Amgoud, Florence Dupin de Saint Cyr
		-		Asking the right question: forcing commitment in examination dialogues - Trevor Bench-Capon, Sylvie Doutre, Paul Dunne
		-		A computational model of argumentation in everyday conversation: A problem-centred approach  - Jean-Louis Dessalles (Short)
		-		Investigating Stories in a Formal Dialogue Game - Floris Bex, Henry Prakken
		-		Towards argumentation-based contract negotiation - Phan Minh Dung, Phan Minh Thang, Francesca Toni
16:30 - 16:50	Coffee break
16:50 - 18:20	Decision making	Chair: Leila Amgoud
		-		Basic influence diagrams and the liberal stable semantics - Paul Matt, Francesca Toni
		-		Decision Rules and Arguments in Defeasible Decision Making - Edgardo Ferretti, Marcelo Errecalde, Garcia Alejandro, Simari Guillermo
		-		A Methodology for Action-Selection using Value-Based Argumentation  - Fahad Nawab, Trevor Bench-Capon, Paul Dunne
19:00 - 20:00	Cocktail reception at the Capitole
Thursday 29 May
09:00 - 10:30	Dialogue	Chair: Sylvie Doutre
		-		Applying Preferences to Dialogue Graphs - Sanjay Modgil, Henry Prakken
		-		Arguments from Experience: The PADUA Protocol - Maya Wardeh, Trevor Bench-Capon, Frans Coenen
		-		AIF+: Dialogue in the Argument Interchange Format - Wells Simon, Chris Reed, Glenn Rowe, Joseph Devereux
10:30 - 11:00	Coffee break
11:00 - 12:30	Tools	Chair: Iyad Rahwan
		-		Diagramming the Argument Interchange Format - Glenn Rowe, Chris Reed
		-		Ontological Foundations for Scholarly Debate Mapping Technology - Neil Benn, Simon Buckingham Shum, John Domingue, Clara Mancini
		-		Political Engagement Through Tools for Argumentation - Dan Cartwright, Katie Atkinson
12:30 - 14:00	Lunch
14:00 - 15:45	Algorithms and systems	Chair: Guillermo Simari
		-		Focused search for Arguments from Propositional Knowledge - Vasiliki Efstathiou, Anthony Hunter
		-		A Distributed Argumentation Framework using Defeasible Logic Programming - Matthias Thimm, Gabriele Kern-Isberner
		-		On the Relationship of Defeasible Argumentation and Answer Set Programming - Matthias Thimm, Gabriele Kern-Isberner
		-		Dungine: A Java Dung Reasoner  - Mathew South, Gerard Vreeswijk, John Fox (Short)
15:45 - 16:15	Coffee break
16:15 - 17:30	Tools	Chair: Pietro Baroni
		-		Arguments in OWL: A Progress Report - Iyad Rahwan, Bita Banihashemi
		-		Cohere: Towards Web 2.0 Argumentation - Simon Buckingham Shum
		-		Requirements for reflective argument visualization tools  - Michael Hoffmann (Short)
17:30 - 19:00	Software demonstrations	-		Demonstration of The Carneades Argumentation System - Thomas Gordon
		-		Authoring Arguments on the Semantic Web using Avicenna - Iyad Rahwan, Bita Banihashemi
		-		CaSAPI - an assumption-based argumentation system with explicit arguments - Dorian Gaertner, Francesca Toni
		-		An Epistemic and Practical Reasoner - Wietske Visser
		-		DeLP-Server: an Argumentative Reasoning Service - Alejandro Garcia, Guillermo R. Simari
		-		ARG!Draw: An Argument Graphs Drawing Tool - Tangming Yuan, Jenny Schulze
		-		Compendium - Simon Buckingham Shum
		-		Cohere - Simon Buckingham Shum
19:30 - 22:30	Gala dinner cruise aboard L'Occitania (Photos)
Friday 30 May
09:00 - 10:00	Invited talk: Phan Minh Dung - Argumentation and Conflict Resolution (Chair: Philippe Besnard)
10:00 - 11:00	Theory	Chair: Sanjay Modgil
		-		The Computational Complexity of Ideal Semantics I: Abstract Argumentation Frameworks - Paul Dunne
		-		Argument Theory Change: Revision Upon Warrant - Rotstein Nicolas, Moguillansky Martín, Falappa Marcelo, Garcia Alejandro Guillermo Simari
11:00 - 11:30	Coffee break
11:30 - 12:45	Theory	Chair: Claudette Cayrol
		-		Resolution-based argumentation semantics - Pietro Baroni, Massimiliano Giacomin
		-		Argumentation Using Temporal Knowledge - Nick Mann, Anthony Hunter
		-		Semantics for Evidence-Based Argumentation  - Nir Oren, Timothy Norman (Short)
12:45 - 14:15	Lunch
14:15 - 15:45	Uncertainty	Chair: Henri Prade
		-		A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming - Teresa Alsinet, Carlos Chesnevar, Lluis Godo Lacasa
		-		Modeling Persuasiveness: change of uncertainty through agents' interactions - Magdalena Kacprzak, Katarzyna Budzynska, Pawel Rembelski
		-		Agent Dialogue as Partial Uncertain Argumentation and its Fixpoint Semantics - Takayoshi Takayoshi, Hajime Sawamura
15:45 - 16:15	Coffee break
16:15 - 17:45	Decision making	Chair: Tom Gordon
		-		Heuristics in Argumentation: A Game Theory Investigation - Regis Riveret, Henry Prakken, Antonino Rotolo, Giovanni Sartor
		-		Argument Schemes and Critical Questions for Decision Aiding Process - Wassila Ouerdane, Nicolas Maudet, Alexis Tsoukias
		-		Modelling Judicial Context in Argumentation Frameworks - Adam Wyner, Trevor Bench-Capon
17:45	Conference close (Philippe Besnard and Tony Hunter)