Thimm, Matthias, Villata, Serena, Cerutti, Federico, Oren, Nir, Strass, Hannes and Vallati, Mauro (2016) Summary Report of The First International Competition on Computational Models of Argumentation. AI Magazine, 37 (1). pp. 102-104. ISSN 0738-4602

Computational models of argumentation are an active research discipline within Artificial Intelligence that has grown since the beginning of the 1990s (Dung 1995).
While still a young field when compared to areas such as SAT solving and Logic Programming, the argumentation community is very active, with a conference series (COMMA, which began in 2006) and a variety of workshops and special issues of journals. Argumentation has also worked its way into a variety of applications. For example, Williams et al. (2015) described how argumentation techniques are used for recommending cancer treatments, while Toniolo et
al. (2015) detail how argumentation-based techniques can support critical thinking and collaborative scientific inquiry or intelligence analysis.
Many of the problems that argumentation deals with are computationally difficult, and applications utilising argumentation therefore require efficient solvers. To encourage this line of research, we organised the First International
Competition on Computational Models of Argumentation (ICCMA), with the intention of assessing and promoting state of the art solvers for abstract argumentation problems, and to identify families of challenging benchmarks for
such solvers.
The objective of ICCMA’15 is to allow researchers to compare the performance of different solvers systematically on common benchmarks and rules. Moreover, as witnessed by competitions in other AI disciplines such as planning and SAT solving, we see ICCMA as a new pillar of the community which provides information and insights on the current state of the art, and highlights future
challenges and developments.
This article summarises the first ICCMA held in 2015 (ICCMA’15). In this competition, solvers were invited to address standard decision and enumeration problems of abstract argumentation frameworks (Dunne and Wooldridge 2009).
Solvers’ performance is evaluated based on their time taken to provide a correct solution for a problem; incorrect results were discarded. More information about the competition, including complete results and benchmarks, can be found on the ICCMA website.

Thimm-etal2015.pdf - Accepted Version

Download (93kB) | Preview


Downloads per month over past year