Theory and applications of formal argumentation : second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised selected papers / Elizabeth Black, Sanjay Modgil, Nir Oren (eds.).Material type: TextSeries: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8306.Publisher: Heidelberg : Springer, 2014Description: 1 online resource (x, 209 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783642543739; 3642543731; 3642543723; 9783642543722Other title: TAFA 2013Subject(s): Formal methods (Computer science) -- Congresses | Computer logic -- Congresses | Artificial intelligence -- Congresses | Artificial intelligence | Computer logic | Formal methods (Computer science)Genre/Form: Electronic books. | Ebook. | Conference papers and proceedings. Additional physical formats: Printed edition:: No titleDDC classification: 006.3 LOC classification: QA76.9.F67Online resources: Click here to access online
|Item type||Current library||Collection||Call number||Status||Date due||Barcode||Item holds|
Includes author index.
This book constitutes the refereed proceedings of the second International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013, held in Beijing, China, in August 2013. The Workshop was co-located with IJCAI 2013. The 15 revised full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections such as abstract argumentation frameworks, social abstract argumentation with votes on attacks, a normal form of argumentation frameworks, assumption-based argumentation, argument schemes for normative practical reasoning.
Online resource; title from PDF title page (SpringerLink, viewed February 3, 2014).
Abstract argumentation frameworks -- Social abstract argumentation with votes on attacks.-A normal form of argumentation frameworks -- Assumption-based argumentation -- Argument schemes for normative practical reasoning.