ICCMA
International Competition on Computational Models of Argumentation
Home
Competition 2015
Competition 2017
Competition 2019
Calls
Rules
Participation
Files
Submissions
Results
Organization
Competition 2021
Competition 2023
Competition 2025
Contact
Supported by
Supported by
This page is an archived version of the original 2019 competition webpage (date of archiving: 2019-11-24)
Submissions
This is an overview of the solvers and benchmarks submitted to ICCMA 2019.
Solvers
The list of the submitted solvers is the following.
- DREDD description
Matthias Thimm. - CoQuiAAS v3.0 description
Jean Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly. - PYGLAF description
Mario Alviano. - ASPARTIX-V19 description
Wolfgang Dvorak, Anna Rapberger, Johannes P. Wallner and Stefan Woltran. - Yonas description
Lars Malmqvist. - Argpref description
Alessandro Previti and Matti Järvisalo. - EqArgSolver description
Odinaldo Rodrigues. - mu-toksia description
Andreas Niskanen and Matti Järvisalo. - Mace4/Prover9 description
Adrian Groza, Liana Toderean, Emanuel Baba, Eliza Olariu, George Bogdan and Oana Avasi.
The tasks supported by the solvers are summarized in the following table.
| Dynamic | 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 | ||
| DREDD | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | |||||||||||
| CoQuiAAS v3.0 | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
| PYGLAF | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
| ASPARTIX-V19 | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | |
| Yonas | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | |||||||||||
| Argpref | ✓ | ✓ | |||||||||||||||||||||||
| EqArgSolver | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | |||||||||||
| ยต-toksia | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
| Mace4/Prover9 | ✓ | ✓ | ✓ | ||||||||||||||||||||||
Benchmarks
The submitted benchmarks are the following.
- Benchmark on Logic-Based Argumentation Framework with Datalog+/- description
Bruno Yun and Madalina Croitoru. - The AFGen Benchmark Generator description
Billy Spelchan and Yong Gao.
Last updated 24.11.2019, Matthias Thimm | Terms