1.

Record Nr.

UNISA996465989103316

Titolo

Theory and Applications of Formal Argumentation [[electronic resource] ] : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers / / edited by Sanjay Modgil, Nir Oren, Francesca Toni

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012

ISBN

3-642-29184-8

Edizione

[1st ed. 2012.]

Descrizione fisica

1 online resource (X, 281 p.)

Collana

Lecture Notes in Artificial Intelligence ; ; 7132

Disciplina

006.3

Soggetti

Artificial intelligence

Application software

Data mining

Computer communication systems

Computers and civilization

Law

Artificial Intelligence

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery

Computer Communication Networks

Computers and Society

Law, general

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and author index.

Sommario/riassunto

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.