Supported by
The Third International Competition on Computational Models of Argumentation (ICCMA'19) will be conducted in the first half of 2019 and is currently being prepared. ICCMA'19 will focus on reasoning tasks in abstract argumentation frameworks, cf. [Dung 1995].
The first instance of the competition was conducted in 2015 and was associated with the corresponding workshop "Theory and Applications of Formal Argument" (TAFA'15). A summary report on the competition was published in the AI Magazine. The second instance of the competition was conducted in 2017 and was associated with the corresponding workshop "Theory and Applications of Formal Argument" (TAFA'17). Read more on ICCMA homepage.
Submitted solvers will be tested on several artificially generated argumentation frameworks and some frameworks formalizing real-world problems.
Main Tracks
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]
Dynamic Track
The study of dynamics in Argumentation Frameworks can lead to efficient approaches for the recomputation of extensions. We will organise a track dedicated to dynamic solvers, where previous results can be used to rapidly reach a solution on a slightly modified Argumentation Frameworks, instead of solving the whole problem from scratch.
Read MoreDocker
Docker is an open-source implementation of operating system level virtualisation, also known as containerisation. Docker is primarily developed for Linux, where it uses the resource isolation features of the Linux kernel such as cgroups and kernel namespaces, and a union-capable file system, to allow independent containers to run within a single Linux instance.
Read MoreContact
For questions and comments to the organizers please send a mail to Stefano Bistarelli.
Previous Editions and Related Events
COMMA 2018 — ICCMA 2015 — ICCMA 2017
COMMA 2016 — SAFA 2016 — TAFA 2017 — TAFA 2015
[Dung 1995] Phan Minh Dung. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. Artif. Intell. 77(2): 321-358 (1995).
[Caminada et. al. 2012] Martin W. A. Caminada, Walter Alexandre Carnielli, Paul E. Dunne. Semi-stable semantics. J. Log. Comput. 22(5): 1207-1254 (2012).
[Verheij 1996] Bart Verheij. Two approaches to dialectical argumentation: admissible sets and argumentation stages. Proceedings NAIC'96: 357-368.
[Dung et. al. 2007] Phan Minh Dung, Paolo Mancarella, Francesca Toni. Computing ideal sceptical argumentation. Artif. Intell. 171(10-15): 642-674 (2007).
News:
- 2019/11/24: Website archived
- 2018/01/12: Website created