First International Workshop on the Theory and Applications of Formal Argumentation (TAFA-11)
First International Workshop on the Theory and Applications of Formal Argumentation (TAFA-11)
2011
Day 1 (16 July)
9.00-9.20 : Registration
9.20 - 9:30 : Welcome
9:30- 11:00: Session 1
• An empirical study of a deliberation dialogue system (full)
• A First Step towards Argumentation Dialogues for Discovery (full)
• An Implemented Dialogue System for Inquiry and Persuasion (short)
11:00 - 11:30: Coffee break
11:30 - 13:00: Session 2
• Conditional labelling for abstract argumentation (full)
• Quantifying Disagreement in Argument-based Reasoning (full)
• A Constraint-based Computational Framework for Argumentation Systems (short)
13:00 - 14:30: Lunch break
14:30 - 16:30: Session 3
• Bottom-up argumentation (full)
• A Three-Layer Argumentation Framework (short)
• Selective Revision by Deductive Argumentation (short)
• Arguments over Co-operative Plans (short)
• Argumentation Schemes for Policy-Driven Planning (short)
16:30 - 17:00: Coffee break
17:00 - 18:30: Panel Session
Day 2 (17 July)
9:30- 11:00: Session 4
• Splitting Argumentation Frameworks: An Empirical Evaluation (full)
• Resource Boundedness for Argumentation (full)
• On the Complexity of Computing the Justification Status of an Argument (short)
11:00 - 11:30: Coffee break
11:30 - 13:00: Session 5
• Stable extensions in timed argumentation frameworks (full)
• Multi-sorted Argumentation (short)
• Argument Types and Typed Argumentation Frameworks (short)
13:00 - 14:30: Lunch break
14:30 - 16:30: Session 6
• Computing with Infinite Argumentation Frameworks: the Case of AFRAs (full)
• A Goal-Oriented Dynamical Computation of Preference of Strategy (short)
• Probabilistic Argumentation Frameworks (short)
• An Argumentation Framework for Qualitative Multi-Criteria Preferences (short)
16:35 - 17:00: Coffee break
17:00: Wrap up
Accepted Papers
Full Presentation (25 minutes presentation, 10 minutes questions)
•Pietro Baroni, Federico Cerutti, Paul Dunne and Massimiliano Giacomin. Computing with Infinite Argumentation Frameworks: the Case of AFRAs
•Ringo Baumann, Gerhard Brewka and Renata Wong. Splitting Argumentation Frameworks: An Empirical Evaluation
•Elizabeth Black and Katie Bentley. An empirical study of a deliberation dialogue system
•Richard Booth, Martin Caminada, Mikolaj Podlaszewski and Iyad Rahwan. Quantifying Disagreement in Argument-based Reasoning
•Xiuyi Fan and Francesca Toni. A First Step towards Argumentation Dialogues for Discovery
•Maria Laura Cobo, Diego Martinez and Guillermo Simari. Stable extensions in timed argumentation frameworks
•Alan Perotti, Guido Boella, Dov Gabbay, Leendert Van Der Torre and Serena Villata. Conditional labelling for abstract argumentation
•Nicolás Rotstein, Nir Oren and Timothy Norman. Resource Boundedness and Argumentation
•Francesca Toni and Paolo Torroni. Bottom-up argumentation
Short Presentation (15 minutes presentation, 5 minutes questions)
•Stefano Bistarelli and Francesco Santini. A Constraint-based Computational Framework for Argumentation Systems
•Wolfgang Dvorak. On the Complexity of Computing the Justification Status of an Argument
•Jenny Eriksson Lundström. A Goal-Oriented Dynamical Computation of Preference of Strategy
•Sebastian Gottifredi, Alejandro Garcia and Guillermo Simari. Argument Types and Typed Argumentation Frameworks
•Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro J. Garcia, Gabriele Kern-Isberner and Guillermo R. Simari. Selective Revision by Deductive Argumentation
•Hengfei Li, Nir Oren and Timothy Norman. Probabilistic Argumentation Frameworks
•Paulo Maio and Nuno Silva. A Three-Layer Argumentation Framework
•Rolando Medellin-Gasque, Katie Atkinson, Peter Mcburney and Trevor Bench-Capon. Arguments over Co-operative Plans
•Tjitze Rienstra, Alan Perotti, Serena Villata, Dov Gabbay, Leendert Van Der Torre and Guido Boella. Multi-sorted Argumentation
•Luke Riley, Katie Atkinson, Terry Payne and Elizabeth Black. An Implemented Dialogue System for Inquiry and Persuasion
•Alice Toniolo, Timothy J. Norman and Katia Sycara. Argumentation Schemes for Policy-Driven Planning
•Wietske Visser, Koen Hindriks and Catholijn Jonker. An Argumentation Framework for Qualitative Multi-Criteria Preferences
Panel Discussion
We are pleased to announce that the TAFA-11 panel session will include
three senior researchers in the area of argumentation:
•Martin Caminada (Université du Luxembourg)
•Stefan Woltran (Vienna University of Technology)
•Carlos Chesnevar (Universidad Nacional del Sur)
The panellists will address and debate (with one another
and the workshop participants) some of the questions
listed below:
Q1: Which main challenges do we need to face for argumentation theory to
have a real impact on applications?
Q2: Are any of the argumentation systems currently available ready for
deployment?
Q3: Have we identified suitable "killer" applications already? If not,
which direction should we look at for a "killer" application?
Q4: Do we need any further theoretical developments to pave the way
towards applications and if so in which direction?
Q5: Which "industry" is most likely to be receptive to our
methodologies/techniques?
Q6: Would it be useful to "team up" with any other field (in AI, or
Computing, or elsewhere) in order to have a higher impact/more powerful
techniques?
Programme