For questions and comments to the organizers please send a mail to Stefano Bistarelli.
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 has been conducted in 2015 and was associated with the corresponding workshop "Theory and Applications of Formal Argument" (TAFA'15). A summary report on the competition has been published in the AI Magazine. The second instance of the competition has been 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.
The competition will consist of 7 main tracks, one for each semantics:
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 More
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 More
[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).