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.
This workshop 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. We therefore invite submission of papers on:
formal theoretical models of argumentation and application of such models in (sub-fields of) AI; evaluation of models, both theoretical (in terms of formal properties of existing or new formal models) and practical (in concretely developed applications); theories and applications developed through inter-disciplinary collaborations.
The workshop will solicit papers dealing with, but not limited to, the following topics:
-
• Properties of formal models of argumentation
-
• Instantiations of abstract argumentation frameworks
-
• Relationships amongst 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
As in 2011, selected papers will be published in a LNAI post-proceedings.