Elsevier

Artificial Intelligence

Volume 279, February 2020, 103193
Artificial Intelligence

Design and results of the Second International Competition on Computational Models of Argumentation

https://doi.org/10.1016/j.artint.2019.103193Get rights and content
Under an Elsevier user license
open archive

Abstract

Argumentation is a major topic in the study of Artificial Intelligence. Since the first edition in 2015, advancements in solving (abstract) argumentation frameworks are assessed in competition events, similar to other closely related problem solving technologies. In this paper, we report about the design and results of the Second International Competition on Computational Models of Argumentation, which has been jointly organized by TU Dresden (Germany), TU Wien (Austria), and the University of Genova (Italy), in affiliation with the 2017 International Workshop on Theory and Applications of Formal Argumentation. This second edition maintains some of the design choices made in the first event, e.g. the I/O formats, the basic reasoning problems, and the organization into tasks and tracks. At the same time, it introduces significant novelties, e.g. three additional prominent semantics, and an instance selection stage for classifying instances according to their empirical hardness.

Keywords

Abstract argumentation
Solver competition
Computational logic

Cited by (0)

This paper is an extended and revised version of a paper presented at the First International Workshop on Systems and Algorithms for Formal Argumentation [46], which included the design of the event before the competition was run. A brief survey of the competition is to be published in AI Magazine [47].