ICCMA 2023
5th International Competition on Computational Models of Argumentation

Participating Solvers

Solver and benchmark descriptions of ICCMA 2023 are available here.

Solver Sources

Main Track

  • Crustabri (by Jean-Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly)
  • Fudge (by Matthias Thimm, Federico Cerutti and Mauro Vallati)
  • μ-toksia (by Andreas Niskanen and Matti Järvisalo)
  • PORTSAT (by Sylvain Declercq, Quentin Januel Capellini, Christophe Yang, Jérôme Delobelle and Jean-Guy Mailly)

Approximate Track

Dynamic Track

  • Crustabri (by Jean-Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly)
  • κ-solutions (by Christian Pasero and Johannes P. Wallner)
  • μ-toksia (by Andreas Niskanen and Matti Järvisalo)

ABA Track

  • AcbAr (by Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes P. Wallner)
  • ASPforABA (by Tuomo Lehtonen, Matti Järvisalo and Johannes P. Wallner)
  • ASTRA (by Andrei Popescu and Johannes P. Wallner)
  • Crustabri (by Jean-Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly)
  • flexABle (by Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca)