TY - BOOK AU - Modgil,Sanjay AU - Oren,Nir AU - Toni,Francesca ED - TAFA 2011 TI - Theory and applications of formal argumentation: first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised selected papers T2 - Lecture notes in artificial intelligence SN - 9783642291845 AV - QA76.9.F67 T34 2011 U1 - 004.01/51 23 PY - 2012/// CY - Berlin, New York PB - Springer KW - Formal methods (Computer science) KW - Congresses KW - Computer logic KW - Artificial intelligence KW - Méthodes formelles (Informatique) KW - Congrès KW - Logique informatique KW - Intelligence artificielle KW - Informatique KW - eclas KW - fast KW - Computer science KW - Computer Communication Networks KW - Data mining KW - Information Systems Applications (incl. Internet) KW - Data Mining and Knowledge Discovery KW - Computers and Society KW - Congress KW - proceedings (reports) KW - aat KW - Conference papers and proceedings KW - lcgft KW - Actes de congrès KW - rvmgf N1 - Includes bibliographical references and author index; 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 N2 - 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 UR - https://link.springer.com/10.1007/978-3-642-29184-5 ER -