Coverart for item
The Resource Theory and applications of formal argumentation : first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised selected papers, Sanjay Modgil, Nir Oren, Francesca Toni (eds.)

Theory and applications of formal argumentation : first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised selected papers, Sanjay Modgil, Nir Oren, Francesca Toni (eds.)

Label
Theory and applications of formal argumentation : first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised selected papers
Title
Theory and applications of formal argumentation
Title remainder
first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised selected papers
Statement of responsibility
Sanjay Modgil, Nir Oren, Francesca Toni (eds.)
Title variation
TAFA 2011
Creator
Contributor
Subject
Genre
Language
eng
Summary
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
Member of
Is part of
Cataloging source
GW5XE
Dewey number
004.01/51
Index
index present
LC call number
QA76.9.F67
LC item number
T34 2011
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
TAFA 2011
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Modgil, Sanjay
  • Oren, Nir
  • Toni, Francesca
Series statement
  • Lecture notes in artificial intelligence
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 7, Artificial intelligence
Series volume
7132
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Computer logic
  • Artificial intelligence
  • Informatique
  • Artificial intelligence
  • Computer logic
  • Formal methods (Computer science)
Label
Theory and applications of formal argumentation : first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised selected papers, Sanjay Modgil, Nir Oren, Francesca Toni (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • An Implemented Dialogue System for Inquiry and Persuasion
  • Luke Riley, Katie Atkinson, Terry Payne and Elizabeth Black
  • An Argumentation Framework for Qualitative Multi-criteria Preferences
  • Wietske Visser, Koen V. Hindriks and Catholijn M. Jonker
  • Modeling and Solving AFs with a Constraint-Based Tool: ConArg
  • Stefano Bistarelli and Francesco Santini
  • Resource Boundedness and Argumentation
  • Nicolás D. Rotstein, Nir Oren and Timothy J. Norman
  • An Empirical Study of a Deliberation Dialogue System
  • Elizabeth Black and Katie Bentley
  • Probabilistic Argumentation Frameworks
  • Selective Revision by Deductive Argumentation
  • Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro J. García and Gabriele Kern-Isberner, et al.
  • A Three-Layer Argumentation Framework
  • Paulo Maio and Nuno Silva
  • Stable Extensions in Timed Argumentation Frameworks
  • Maria Laura Cobo, Diego C. Martinez and Guillermo R. Simari
  • Computing with Infinite Argumentation Frameworks: The Case of AFRAs
  • Pietro Baroni, Federico Cerutti, Paul E. Dunne and Massimiliano Giacomin
  • Multi-sorted Argumentation
  • Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay and Leendert van der Torre
  • Hengfei Li, Nir Oren and Timothy J. Norman
  • Conditional Labelling for Abstract Argumentation
  • Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre and Serena Villata
  • Bottom-Up Argumentation
  • Francesca Toni and Paolo Torroni
  • A First Step towards Argumentation Dialogues for Discovery
  • Xiuyi Fan and Francesca Toni
  • Splitting Argumentation Frameworks: An Empirical Evaluation
  • Ringo Baumann, Gerhard Brewka and Renata Wong
  • On the Complexity of Computing the Justification Status of an Argument
  • Wolfgang Dvořák
  • Arguments over Co-operative Plans
  • Rolando Medellin-Gasque, Katie Atkinson, Peter McBurney and Trevor Bench-Capon
Control code
785153971
Dimensions
unknown
Extent
1 online resource (x, 279 pages).
File format
unknown
Form of item
online
Isbn
9783642291845
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-29184-5
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)785153971
Label
Theory and applications of formal argumentation : first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised selected papers, Sanjay Modgil, Nir Oren, Francesca Toni (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • An Implemented Dialogue System for Inquiry and Persuasion
  • Luke Riley, Katie Atkinson, Terry Payne and Elizabeth Black
  • An Argumentation Framework for Qualitative Multi-criteria Preferences
  • Wietske Visser, Koen V. Hindriks and Catholijn M. Jonker
  • Modeling and Solving AFs with a Constraint-Based Tool: ConArg
  • Stefano Bistarelli and Francesco Santini
  • Resource Boundedness and Argumentation
  • Nicolás D. Rotstein, Nir Oren and Timothy J. Norman
  • An Empirical Study of a Deliberation Dialogue System
  • Elizabeth Black and Katie Bentley
  • Probabilistic Argumentation Frameworks
  • Selective Revision by Deductive Argumentation
  • Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro J. García and Gabriele Kern-Isberner, et al.
  • A Three-Layer Argumentation Framework
  • Paulo Maio and Nuno Silva
  • Stable Extensions in Timed Argumentation Frameworks
  • Maria Laura Cobo, Diego C. Martinez and Guillermo R. Simari
  • Computing with Infinite Argumentation Frameworks: The Case of AFRAs
  • Pietro Baroni, Federico Cerutti, Paul E. Dunne and Massimiliano Giacomin
  • Multi-sorted Argumentation
  • Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay and Leendert van der Torre
  • Hengfei Li, Nir Oren and Timothy J. Norman
  • Conditional Labelling for Abstract Argumentation
  • Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre and Serena Villata
  • Bottom-Up Argumentation
  • Francesca Toni and Paolo Torroni
  • A First Step towards Argumentation Dialogues for Discovery
  • Xiuyi Fan and Francesca Toni
  • Splitting Argumentation Frameworks: An Empirical Evaluation
  • Ringo Baumann, Gerhard Brewka and Renata Wong
  • On the Complexity of Computing the Justification Status of an Argument
  • Wolfgang Dvořák
  • Arguments over Co-operative Plans
  • Rolando Medellin-Gasque, Katie Atkinson, Peter McBurney and Trevor Bench-Capon
Control code
785153971
Dimensions
unknown
Extent
1 online resource (x, 279 pages).
File format
unknown
Form of item
online
Isbn
9783642291845
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-29184-5
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)785153971

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...