ICCMA
International Competition on Computational Models of Argumentation
Home
Competition 2015
Competition 2017
Calls
Rules
Participation
Submissions
Results
Organization
Competition 2019
Competition 2021
Competition 2023
Competition 2025
Contact
Supported by
Supported by
This page is an archived version of the original 2017 competition webpage (date of archiving: 2017-10-23)
Submissions
This page gives an overview of the solvers and benchmarks submitted to ICCMA 2017.
Solvers
The following solvers have been submitted for participation:
-
argmat-clpb (pdf)
Fuan Pu (Tsinghua University, China), Guiming Luo (Tsinghua University, China), Yucheng Chen (Tsinghua University, China). -
argmat-dvisat (pdf)
Fuan Pu (Tsinghua University, China), Guiming Luo (Tsinghua University, China), Ya Hang (Tsinghua University, China). -
argmat-mpg (pdf)
Fuan Pu (Tsinghua University, China), Guiming Luo (Tsinghua University, China), Ya Hang (Tsinghua University, China). -
argmat-sat (pdf)
Fuan Pu (Tsinghua University, China), Guiming Luo (Tsinghua University, China), Ya Hang (Tsinghua University, China). -
ArgSemSAT (pdf)
Federico Cerutti (Cardiff University, UK), Mauro Vallati (University of Huddersfield, UK), Massimiliano Giacomin (University of Brescia, Italy), Tobia Zanetti (University of Brescia, Italy). -
ArgTools (pdf)
Samer Nofal (German Jordanian University, Jordan), Katie Atkinson (University of Liverpool, UK), Paul E. Dunne (University of Liverpool, UK). -
ASPrMin (pdf)
Wolfgang Faber (University of Huddersfield, UK), Mauro Vallati (University of Huddersfield, UK), Federico Cerutti (Cardiff University, UK), Massimiliano Giacomin (University of Brescia, Italy). -
cegartix (pdf)
Wolfgang Dvořák (TU Wien, Austria), Matti Järvisalo (University of Helsinki, Finland), Johannes P. Wallner (TU Wien, Austria). -
Chimærarg (pdf)
Federico Cerutti (Cardiff University, UK), Mauro Vallati (University of Huddersfield, UK), Massimiliano Giacomin (University of Brescia, Italy). -
ConArg (pdf)
Stefano Bistarelli (Università di Perugia, Italy), Fabio Rossi (Università di Perugia, Italy), Francesco Santini (Università di Perugia, Italy). -
CoQuiAAS (pdf)
Jean-Marie Lagniez (Univ. Artois, France), Emmanuel Lonca (Univ. Artois, France), Jean-Guy Mailly (Univ. Paris Descartes, France). -
EqArgSolver (pdf)
Odinaldo Rodrigues (King's College London, UK). -
gg-sts (pdf)
Tomi Jahunen (Aalto University, Finland), Shahab Tasharrofi (Aalto University, Finland). -
goDIAMOND (pdf)
Stefan Ellmauthaler (Leipzig University, Germany), Hannes Strass (Leipzig University, Germany). -
heureka (pdf)
Nils Geilen (Universität Koblenz-Landau, Germany), Matthias Thimm (Universität Koblenz-Landau, Germany). -
pyglaf (pdf)
Mario Alviano (University of Calabria, Italy).
The tasks supported by the solvers are summarized in the following table:
| D3 | CO | PR | ST | SST | STG | GR | ID | ||||||||||||||||||
| DC | DS | SE | EE | DC | DS | SE | EE | DC | DS | SE | EE | DC | DS | SE | EE | DC | DS | SE | EE | DC | SE | DC | SE | ||
| argmat-clpb | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | |||||||||||||||
| argmat-dvisat | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | ||||||||
| argmat-mpg | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| argmat-sat | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| ArgSemSAT | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | |||||||
| ArgTools | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | |
| ASPrMin | 1 | ||||||||||||||||||||||||
| cegartix | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| Chimærarg | 1 | 1 | |||||||||||||||||||||||
| ConArg | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| CoQuiAAS | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| EqArgSolver | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | ||||||||||
| gg-sts | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| goDIAMOND | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| heureka | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | |||||||||||
| pyglaf | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
Benchmarks
The following benchmarks have been submitted (descriptions to follow soon).
-
AdmBuster: a benchmark example for (strong) admissibility (pdf)
Martin Caminada (Prifysgol Caerdydd, UK), Mikołaj Podlaszewski (Talkwalker). -
AFBenchGen2: A Generator for Random Argumentation Frameworks (pdf)
Federico Cerutti (Cardiff University, UK), Mauro Vallati (University of Huddersfield, UK), Massimiliano Giacomin (University of Brescia, Italy). -
Assumption-Based Argumentation Translated to Argumentation Frameworks (pdf)
Tuomo Lehtonen (University of Helsinki, Finland), Johannes P. Wallner (TU Wien, Austria), Matti Järvisalo (University of Helsinki, Finland). -
Exploiting Planning Problems for Generating Challenging Abstract Argumentation Frameworks (pdf)
Federico Cerutti (Cardiff University, UK), Massimiliano Giacomin (University of Brescia, Italy), Mauro Vallati (University of Huddersfield, UK). -
SemBuster: a benchmark example for semi-stable semantics (pdf)
Martin Caminada (Cardiff University, UK), Bart Verheij (Rijksuniversiteit Groningen, Netherlands). -
Traffic Networks Become Argumentation Frameworks (pdf)
Martin Diller (TU Wien, Austria).
Last updated 18.07.2018, Matthias Thimm | Terms