ICCMA - Competition 2017

This page is an archived version of the original 2017 competition webpage (date of archiving: 2017-10-23)

The second edition of the International Competition on Computational Models of Argument will be conducted in the first half of 2017. The results will be presented at the Internation Workshop on Theory and Applications of Formal Argument (TAFA'17) which will be co-located with the 26th International Joint Conference on Artificial Intelligence.

The first edition of ICCMA took place in 2015 and saw the participation of 18 solvers. A summary report on the competition has been published in the AI Magazine.

ICCMA'17 will focus on reasoning tasks in abstract argumentation frameworks, cf. [Dung 1995]. Submitted solvers will be tested on several artificially generated argumentation frameworks and some frameworks formalizing real-world problems.

The competition will consist of 7 main tracks, one for each semantics:

Complete Semantics
Preferred Semantics
Stable Semantics
Semi-stable Semantics [Caminada et. al. 2012]
Stage Semantics [Verheij 1996]
Grounded Semantics
Ideal Semantics [Dung et. al. 2007]

Each track will include the following reasoning problems (only a. and c. for grounded and ideal):

Given an abstract argumentation framework, determine some extension
Given an abstract argumentation framework, determine all extensions
Given an abstract argumentation framework and some argument, decide whether the given argument is credulously inferred
Given an abstract argumentation framework and some argument, decide whether the given argument is skeptically inferred

Finally, the special track “Dung's Triathlon” will require solvers to enumerate all extensions of all standard Dung-semantics (complete, preferred, stable, grounded) at once.

TAFA 2017 features a system track particularly suited for, but not limited to, ICCMA participants to submit extended 5 page system descriptions.

Contact

For questions and comments to the organizers please send a mail to iccma17@dbai.tuwien.ac.at.

To receive regular updates concerning the competition subscribe to the mailing list of ICCMA argumentationcompetition@inria.fr by sending a mail with the subject

subscribe argumentationcompetition <your first name> <your surname>

to sympa_inria@inria.fr

Previous Editions and related events

News:

2019/11/08: The detailed report on the competition of 2017 has been published in the Artificial Intelligence Journal.
2019/09/19: A detailed report on the competition of 2017 can be found on arXiv.
2017-10-02: Final results (D3) announced.
2017-09-25: New results (EE) announced.
2017-08-20: First results presented at TAFA.
2017-05-22: Lists of solver and benchmark submissions online
2017-02-27: TAFA 2017 system track announced
2016-12-05: Participation page updated
2016-09-27: SAFA paper available
2016-07-11: Webpage online

[Dung 1995] Dung, P.M. 1995. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. Artif. Intell. 77(2):321-358.
[Verheij 1996] Verheij, B. 1996. Two approaches to dialectical argumentation: admissible sets and argumentation stages. Proceedings NAIC'96: 357-368.
[Dung et. al. 2007] Dung, P.M., Mancarella, P., Toni, F. 2007. Computing ideal sceptical argumentation. Artif. Intell. 171(10-15): 642-674.
[Caminada et. al. 2012] Caminada, M., Carnielli, W.A., Dunne P.E. 2012. Semi-stable semantics. J. Log. Comput. 22(5): 1207-1254.