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

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:

  1. argmat-clpb (pdf)
    Fuan Pu (Tsinghua University, China), Guiming Luo (Tsinghua University, China), Yucheng Chen (Tsinghua University, China).
  2. argmat-dvisat (pdf)
    Fuan Pu (Tsinghua University, China), Guiming Luo (Tsinghua University, China), Ya Hang (Tsinghua University, China).
  3. argmat-mpg (pdf)
    Fuan Pu (Tsinghua University, China), Guiming Luo (Tsinghua University, China), Ya Hang (Tsinghua University, China).
  4. argmat-sat (pdf)
    Fuan Pu (Tsinghua University, China), Guiming Luo (Tsinghua University, China), Ya Hang (Tsinghua University, China).
  5. 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).
  6. ArgTools (pdf)
    Samer Nofal (German Jordanian University, Jordan), Katie Atkinson (University of Liverpool, UK), Paul E. Dunne (University of Liverpool, UK).
  7. 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).
  8. cegartix (pdf)
    Wolfgang Dvořák (TU Wien, Austria), Matti Järvisalo (University of Helsinki, Finland), Johannes P. Wallner (TU Wien, Austria).
  9. Chimærarg (pdf)
    Federico Cerutti (Cardiff University, UK), Mauro Vallati (University of Huddersfield, UK), Massimiliano Giacomin (University of Brescia, Italy).
  10. ConArg (pdf)
    Stefano Bistarelli (Università di Perugia, Italy), Fabio Rossi (Università di Perugia, Italy), Francesco Santini (Università di Perugia, Italy).
  11. CoQuiAAS (pdf)
    Jean-Marie Lagniez (Univ. Artois, France), Emmanuel Lonca (Univ. Artois, France), Jean-Guy Mailly (Univ. Paris Descartes, France).
  12. EqArgSolver (pdf)
    Odinaldo Rodrigues (King's College London, UK).
  13. gg-sts (pdf)
    Tomi Jahunen (Aalto University, Finland), Shahab Tasharrofi (Aalto University, Finland).
  14. goDIAMOND (pdf)
    Stefan Ellmauthaler (Leipzig University, Germany), Hannes Strass (Leipzig University, Germany).
  15. heureka (pdf)
    Nils Geilen (Universität Koblenz-Landau, Germany), Matthias Thimm (Universität Koblenz-Landau, Germany).
  16. 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).

  1. AdmBuster: a benchmark example for (strong) admissibility (pdf)
    Martin Caminada (Prifysgol Caerdydd, UK), Mikołaj Podlaszewski (Talkwalker).
  2. 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).
  3. 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).
  4. 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).
  5. SemBuster: a benchmark example for semi-stable semantics (pdf)
    Martin Caminada (Cardiff University, UK), Bart Verheij (Rijksuniversiteit Groningen, Netherlands).
  6. Traffic Networks Become Argumentation Frameworks (pdf)
    Martin Diller (TU Wien, Austria).



Last updated 23.10.2017, Matthias Thimm