Ebook: Theorie and Applications of Formal Argumentation: First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake of argumentation as a viable AI paradigm with wide ranging application, and provides a forum for further development of ideas and the initiation of new and innovative collaborations. The papers cover the following topics: properties of formal models of argumentation; instantiations of abstract argumentation frameworks; relationships among different argumentation frameworks; practical applications of formal models of argumentation; argumentation and other artificial intelligence techniques; evaluation of formal models of argumentation; validation and evaluation of applications of argumentation.

---

This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence.
The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake of argumentation as a viable AI paradigm with wide ranging application, and provides a forum for further development of ideas and the initiation of new and innovative collaborations. The papers cover the following topics: properties of formal models of argumentation; instantiations of abstract argumentation frameworks; relationships among different argumentation frameworks; practical applications of formal models of argumentation; argumentation and other artificial intelligence techniques; evaluation of formal models of argumentation; validation and evaluation of applications of argumentation.

---

This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence.
The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake of argumentation as a viable AI paradigm with wide ranging application, and provides a forum for further development of ideas and the initiation of new and innovative collaborations. The papers cover the following topics: properties of formal models of argumentation; instantiations of abstract argumentation frameworks; relationships among different argumentation frameworks; practical applications of formal models of argumentation; argumentation and other artificial intelligence techniques; evaluation of formal models of argumentation; validation and evaluation of applications of argumentation.
Content:
Front Matter....Pages -
Probabilistic Argumentation Frameworks....Pages 1-16
Splitting Argumentation Frameworks: An Empirical Evaluation....Pages 17-31
On the Complexity of Computing the Justification Status of an Argument....Pages 32-49
Arguments over Co-operative Plans....Pages 50-66
An Implemented Dialogue System for Inquiry and Persuasion....Pages 67-84
An Argumentation Framework for Qualitative Multi-criteria Preferences....Pages 85-98
Modeling and Solving AFs with a Constraint-Based Tool: ConArg....Pages 99-116
Resource Boundedness and Argumentation....Pages 117-131
An Empirical Study of a Deliberation Dialogue System....Pages 132-146
Selective Revision by Deductive Argumentation....Pages 147-162
A Three-Layer Argumentation Framework....Pages 163-180
Stable Extensions in Timed Argumentation Frameworks....Pages 181-196
Computing with Infinite Argumentation Frameworks: The Case of AFRAs....Pages 197-214
Multi-sorted Argumentation....Pages 215-231
Conditional Labelling for Abstract Argumentation....Pages 232-248
Bottom-Up Argumentation....Pages 249-262
A First Step towards Argumentation Dialogues for Discovery....Pages 263-279
Back Matter....Pages -

---

This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence.
The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake of argumentation as a viable AI paradigm with wide ranging application, and provides a forum for further development of ideas and the initiation of new and innovative collaborations. The papers cover the following topics: properties of formal models of argumentation; instantiations of abstract argumentation frameworks; relationships among different argumentation frameworks; practical applications of formal models of argumentation; argumentation and other artificial intelligence techniques; evaluation of formal models of argumentation; validation and evaluation of applications of argumentation.
Content:
Front Matter....Pages -
Probabilistic Argumentation Frameworks....Pages 1-16
Splitting Argumentation Frameworks: An Empirical Evaluation....Pages 17-31
On the Complexity of Computing the Justification Status of an Argument....Pages 32-49
Arguments over Co-operative Plans....Pages 50-66
An Implemented Dialogue System for Inquiry and Persuasion....Pages 67-84
An Argumentation Framework for Qualitative Multi-criteria Preferences....Pages 85-98
Modeling and Solving AFs with a Constraint-Based Tool: ConArg....Pages 99-116
Resource Boundedness and Argumentation....Pages 117-131
An Empirical Study of a Deliberation Dialogue System....Pages 132-146
Selective Revision by Deductive Argumentation....Pages 147-162
A Three-Layer Argumentation Framework....Pages 163-180
Stable Extensions in Timed Argumentation Frameworks....Pages 181-196
Computing with Infinite Argumentation Frameworks: The Case of AFRAs....Pages 197-214
Multi-sorted Argumentation....Pages 215-231
Conditional Labelling for Abstract Argumentation....Pages 232-248
Bottom-Up Argumentation....Pages 249-262
A First Step towards Argumentation Dialogues for Discovery....Pages 263-279
Back Matter....Pages -
....