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

  1. An empirical study of a deliberation dialogue system (full)

  2. A First Step towards Argumentation Dialogues for Discovery (full)

  3. An Implemented Dialogue System for Inquiry and Persuasion (short)

11:00 - 11:30: Coffee break

11:30 - 13:00: Session 2

  1. Conditional labelling for abstract argumentation (full)

  2. Quantifying Disagreement in Argument-based Reasoning (full)

  3. A Constraint-based Computational Framework for Argumentation Systems (short)

13:00 - 14:30: Lunch break

14:30 - 16:30: Session 3

  1. Bottom-up argumentation (full)

  2. A Three-Layer Argumentation Framework (short)

  3. Selective Revision by Deductive Argumentation (short)

  4. Arguments over Co-operative Plans (short)

  5. 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

  1. Splitting Argumentation Frameworks: An Empirical Evaluation (full)

  2. Resource Boundedness for Argumentation (full)

  3. On the Complexity of Computing the Justification Status of an Argument (short)

11:00 - 11:30: Coffee break

11:30 - 13:00: Session 5

  1. Stable extensions in timed argumentation frameworks (full)

  2. Multi-sorted Argumentation (short)

  3. Argument Types and Typed Argumentation Frameworks (short)

13:00 - 14:30: Lunch break

14:30 - 16:30: Session 6

  1. Computing with Infinite Argumentation Frameworks: the Case of AFRAs (full)

  2. A Goal-Oriented Dynamical Computation of Preference of Strategy (short)

  3. Probabilistic Argumentation Frameworks  (short)

  4. 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)


  1. Pietro Baroni, Federico Cerutti, Paul Dunne and Massimiliano Giacomin. Computing with Infinite Argumentation Frameworks: the Case of AFRAs

  2. Ringo Baumann, Gerhard Brewka and Renata Wong. Splitting Argumentation Frameworks: An Empirical Evaluation

  3. Elizabeth Black and Katie Bentley. An empirical study of a deliberation dialogue system

  4. Richard Booth, Martin Caminada, Mikolaj Podlaszewski and Iyad Rahwan. Quantifying Disagreement in Argument-based Reasoning

  5. Xiuyi Fan and Francesca Toni. A First Step towards Argumentation Dialogues for Discovery

  6. Maria Laura Cobo, Diego Martinez and Guillermo Simari. Stable extensions in timed argumentation frameworks

  7. Alan Perotti, Guido Boella, Dov Gabbay, Leendert Van Der Torre and Serena Villata. Conditional labelling for abstract argumentation

  8. Nicolás Rotstein, Nir Oren and Timothy Norman. Resource Boundedness and Argumentation

  9. Francesca Toni and Paolo Torroni. Bottom-up argumentation


Short Presentation (15 minutes presentation, 5 minutes questions)


  1. Stefano Bistarelli and Francesco Santini. A Constraint-based Computational Framework for Argumentation Systems

  2. Wolfgang Dvorak. On the Complexity of Computing the Justification Status of an Argument

  3. Jenny Eriksson Lundström. A Goal-Oriented Dynamical Computation of Preference of Strategy

  4. Sebastian Gottifredi, Alejandro Garcia and Guillermo Simari. Argument Types and Typed Argumentation Frameworks

  5. Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro J. Garcia, Gabriele Kern-Isberner and Guillermo R. Simari. Selective Revision by Deductive Argumentation

  6. Hengfei Li, Nir Oren and Timothy Norman. Probabilistic Argumentation Frameworks

  7. Paulo Maio and Nuno Silva. A Three-Layer Argumentation Framework

  8. Rolando Medellin-Gasque, Katie Atkinson, Peter Mcburney and Trevor Bench-Capon. Arguments over Co-operative Plans

  9. Tjitze Rienstra, Alan Perotti, Serena Villata, Dov Gabbay, Leendert Van Der Torre and Guido Boella. Multi-sorted Argumentation

  10. Luke Riley, Katie Atkinson, Terry Payne and Elizabeth Black. An Implemented Dialogue System for Inquiry and Persuasion

  11. Alice Toniolo, Timothy J. Norman and Katia Sycara. Argumentation Schemes for Policy-Driven Planning

  12. 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:

 

  1. Martin Caminada (Université du Luxembourg)

  2. Stefan Woltran (Vienna University of Technology)

  3. 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