ICCMA
International Competition on Computational Models of Argumentation
Home
Competition 2015
Competition 2017
Competition 2019
Competition 2021
Competition 2023
Calls
Tracks
Rules
Execution Environment
Submissions
Rankings and Data
Benchmarks
Solvers
Organization
Competition 2025
Contact
Participating Solvers
Solver and benchmark descriptions of ICCMA 2023 are available
here
.
Solver Sources
Main Track
Crustabri
(by Jean-Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly)
Fudge
(by Matthias Thimm, Federico Cerutti and Mauro Vallati)
μ-toksia
(by Andreas Niskanen and Matti Järvisalo)
PORTSAT
(by Sylvain Declercq, Quentin Januel Capellini, Christophe Yang, Jérôme Delobelle and Jean-Guy Mailly)
Approximate Track
AFGCNv2
(by Lars Malmqvist)
ARIPOTER-Degrees
(by Jérôme Delobelle, Jean-Guy Mailly and Julien Rossit)
ARIPOTER-HCAT
(by Jérôme Delobelle, Jean-Guy Mailly and Julien Rossit)
fargo-limited
(by Matthias Thimm)
harper++
(by Matthias Thimm)
Dynamic Track
Crustabri
(by Jean-Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly)
κ-solutions
(by Christian Pasero and Johannes P. Wallner)
μ-toksia
(by Andreas Niskanen and Matti Järvisalo)
ABA Track
AcbAr
(by Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes P. Wallner)
ASPforABA
(by Tuomo Lehtonen, Matti Järvisalo and Johannes P. Wallner)
ASTRA
(by Andrei Popescu and Johannes P. Wallner)
Crustabri
(by Jean-Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly)
flexABle
(by Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca)
Last updated 19.10.2023, Matthias Thimm |
Terms