W03: 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA'13)
Organizers: Elizabeth Black, Sanjay Modgil and Nir Oren
Recent years have witnessed a rapid growth of interest in formal models of argumentation and their application in diverse sub-fields and domains of application of AI, including reasoning in the presence of inconsistency, non-monotonic reasoning, decision making, inter-agent communication, the semantic web, grid applications, ontologies, recommender systems, machine learning, neural networks, trust computing, normative systems, social choice theory, judgement aggregation and game theory, and law and medicine. Argumentation thus shows great promise as a theoretically-grounded tool for a wide range of applications. The TAFA 2013 workshop, which builds on the success of TAFA 2011 (co-located with IJCAI 2011), aims at contributing to the realisation of this promise, by promoting and fostering uptake of argumentation as a viable AI paradigm with wide ranging application, and providing a forum for further development of ideas and the initiation of new and innovative collaborations. TAFA therefore encourages submission of papers on formal theoretical models of argumentation and application of such models in (sub-fields of) AI, and evaluation of models, both theoretical (in terms of formal properties) and practical (in concretely developed applications). We also particularly encourage work on theories and applications developed through inter-disciplinary collaborations. With the above aims and intended impact in mind, the workshop will also include a demonstration session. Submissions for the demonstration session will be peer reviewed, and will consist of both a paper and a working demonstrator system. Note that we plan for the TAFA 2013 post-proceedings to be published as a LNAI volume (following on from the LNAI published TAFA 2011 post-proceedings).