# Design and Results of the Second International Competition on Computational Models of Argumentation

arXiv: https://arxiv.org/abs/1909.00621 · HTML: https://mlsanity.com/paper/1909.00621/

## Key facts

- Cited by 9 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 2 Sep 2019.

## Built on by (most cited first, 9 of 9)

- [Rushing and Strolling among Answer Sets -- Navigation Made Easy](https://mlsanity.com/paper/2112.07596/) (2021)
- [Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation](https://mlsanity.com/paper/2404.11431/) (2024)
- [IASCAR: Incremental Answer Set Counting by Anytime Refinement](https://mlsanity.com/paper/2311.07233/) (2023)
- [The MatrixX Solver For Argumentation Frameworks](https://mlsanity.com/paper/2109.14732/) (2021)
- [Design and Results of ICCMA 2021](https://mlsanity.com/paper/2109.08884/) (2021)
- [On the preferred extensions of argumentation frameworks: bijections with naive sets](https://mlsanity.com/paper/2202.05506/) (2022)
- [Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs)](https://mlsanity.com/paper/2207.02258/) (2022)
- [An encoding of argumentation problems using quadratic unconstrained binary optimization](https://mlsanity.com/paper/2409.05524/) (2024)
- [From Contexts to Values: Context-Dependent Defeat in Abstract Argumentation](https://mlsanity.com/paper/2608.15536/) (2026)

## Abstract (arXiv)

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.