ICCMA
International Competition on Computational Models of Argumentation
Home Competition 2015 Competition 2017 Competition 2019 Calls Rules Participation Files Submissions Results Organization Competition 2021 Contact

Supported by
This page is an archived version of the original 2019 competition webpage (date of archiving: 2019-11-24)

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:

Read More

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 More

Docker

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

Contact

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



Last updated 18.07.2018, Matthias Thimm | Terms