Skip to main content
  • Conference proceedings
  • © 2012

Theory and Applications of Formal Argumentation

First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers

  • Up-to-date results

  • Fast track conference proceedings

  • State-of-the-art report

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7132)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): TAFA: International Workshop on Theory and Applications of Formal Argumentation

Conference proceedings info: TAFA 2011.

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (17 papers)

  1. Front Matter

  2. Theory and Applications of Formal Argumentation

    1. Probabilistic Argumentation Frameworks

      • Hengfei Li, Nir Oren, Timothy J. Norman
      Pages 1-16
    2. Splitting Argumentation Frameworks: An Empirical Evaluation

      • Ringo Baumann, Gerhard Brewka, Renata Wong
      Pages 17-31
    3. Arguments over Co-operative Plans

      • Rolando Medellin-Gasque, Katie Atkinson, Peter McBurney, Trevor Bench-Capon
      Pages 50-66
    4. An Implemented Dialogue System for Inquiry and Persuasion

      • Luke Riley, Katie Atkinson, Terry Payne, Elizabeth Black
      Pages 67-84
    5. An Argumentation Framework for Qualitative Multi-criteria Preferences

      • Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker
      Pages 85-98
    6. Modeling and Solving AFs with a Constraint-Based Tool: ConArg

      • Stefano Bistarelli, Francesco Santini
      Pages 99-116
    7. Resource Boundedness and Argumentation

      • Nicolás D. Rotstein, Nir Oren, Timothy J. Norman
      Pages 117-131
    8. An Empirical Study of a Deliberation Dialogue System

      • Elizabeth Black, Katie Bentley
      Pages 132-146
    9. Selective Revision by Deductive Argumentation

      • Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro J. García, Gabriele Kern-Isberner, Guillermo R. Simari
      Pages 147-162
    10. A Three-Layer Argumentation Framework

      • Paulo Maio, Nuno Silva
      Pages 163-180
    11. Stable Extensions in Timed Argumentation Frameworks

      • Maria Laura Cobo, Diego C. Martinez, Guillermo R. Simari
      Pages 181-196
    12. Computing with Infinite Argumentation Frameworks: The Case of AFRAs

      • Pietro Baroni, Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin
      Pages 197-214
    13. Multi-sorted Argumentation

      • Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay, Leendert van der Torre
      Pages 215-231
    14. Conditional Labelling for Abstract Argumentation

      • Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata
      Pages 232-248
    15. Bottom-Up Argumentation

      • Francesca Toni, Paolo Torroni
      Pages 249-262
    16. A First Step towards Argumentation Dialogues for Discovery

      • Xiuyi Fan, Francesca Toni
      Pages 263-279
  3. Back Matter

Other Volumes

  1. Theorie and Applications of Formal Argumentation

About this book

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.

Keywords

  • game theory
  • machine learning
  • ontologies
  • recommender systems
  • semantic Web

Editors and Affiliations

  • King’s College London, London, UK

    Sanjay Modgil

  • University of Aberdeen, Aberdeen, UK

    Nir Oren

  • Department of Computing, Imperial College London, London, UK

    Francesca Toni

Bibliographic Information

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions