Book Cover
E-book
Author TAFA 2011 (2011 : Barcelona, Spain)

Title 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.)
Published Berlin ; New York : Springer, ©2012

Copies

Description 1 online resource (x, 279 pages)
Series Lecture notes in artificial intelligence ; 7132
Lecture notes in computer science, 0302-9743
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science. Lecture notes in artificial intelligence ; 7132
Lecture notes in computer science
LNCS sublibrary. SL 7, Artificial intelligence
Contents Probabilistic Argumentation Frameworks / Hengfei Li, Nir Oren and Timothy J. Norman -- 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 -- 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 -- 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 -- 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
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
Analysis Computer science
Computer Communication Networks
Data mining
Artificial intelligence
Information Systems Applications (incl. Internet)
Data Mining and Knowledge Discovery
Computers and Society
Bibliography Includes bibliographical references and author index
Subject Formal methods (Computer science) -- Congresses
Computer logic -- Congresses
Artificial intelligence -- Congresses
Informatique.
Artificial intelligence
Computer logic
Formal methods (Computer science)
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Modgil, Sanjay
Oren, Nir
Toni, Francesca
ISBN 9783642291845
3642291848
364229183X
9783642291838
Other Titles TAFA 2011