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  
    Matthias Thimm.
  2. CoQuiAAS v3.0  
    Jean Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly.
  3. PYGLAF  
    Mario Alviano.
  4. ASPARTIX-V19  
    Wolfgang Dvořák, Anna Rapberger, Johannes P. Wallner and Stefan Woltran.
  5. Yonas  
    Lars Malmqvist.
  6. Argpref  
    Alessandro Previti and Matti Järvisalo.
  7. EqArgSolver  
    Odinaldo Rodrigues.
  8. µ-toksia  
    Andreas Niskanen and Matti Järvisalo.
  9. Mace4/Prover9  
    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±  
    Bruno Yun and Madalina Croitoru.
  2. The AFGen Benchmark Generator  
    Billy Spelchan and Yong Gao.