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).