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 Contact

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.

  1. DREDD   description
    Matthias Thimm.
  2. CoQuiAAS v3.0   description
    Jean Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly.
  3. PYGLAF   description
    Mario Alviano.
  4. ASPARTIX-V19   description
    Wolfgang Dvorak, Anna Rapberger, Johannes P. Wallner and Stefan Woltran.
  5. Yonas   description
    Lars Malmqvist.
  6. Argpref   description
    Alessandro Previti and Matti Järvisalo.
  7. EqArgSolver   description
    Odinaldo Rodrigues.
  8. mu-toksia   description
    Andreas Niskanen and Matti Järvisalo.
  9. 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.

  1. Benchmark on Logic-Based Argumentation Framework with Datalog+/-   description
    Bruno Yun and Madalina Croitoru.
  2. The AFGen Benchmark Generator   description
    Billy Spelchan and Yong Gao.



Last updated 24.11.2019, Matthias Thimm | Terms