ICCMA
International Competition on Computational Models of Argumentation
Home Competition 2015 Rules Participation Important Dates Solvers Results Organization Competition 2017 Contact

In cooperation with

The 2015 International Workshop on Theory and Applications of Formal Argument (TAFA'15)



Supported by

Solvers

The following solvers have been submitted to participate in ICCMA'15:

  1. LabSATSolver
    by Florian Brons (FernUniversität in Hagen, Germany)
    System description:
    pdf
  2. ArgSemSAT
    by Federico Cerutti (University of Aberdeen, UK), Mauro Vallati (University of Huddersfield, UK), Massimiliano Giacomin (Universita degli Studi di Brescia, Italy)
    System description: pdf
  3. ArgTools
    by Samer Nofal (German Jordanian University, Jordan), Katie Atkinson (University of Liverpool, UK), Paul E. Dunne (University of Liverpool, UK)
    System description: pdf
  4. Cegartix
    by Wolfgang Dvorak (University of Vienna, Austria), Matti Järvisalo (University of Helsinki, Finland), Johannes Peter Wallner (Vienna University of Technology, Austria), Stefan Woltran (Vienna University of Technology, Austria)
    System description: pdf
  5. Dungell
    by Bas van Gijzel (University of Nottingham, UK)
    System description: pdf
  6. ZJU-ARG
    by Qianle Guo (Zhejiang University, China), Beishui Liao (Zhejiang University, China)
    System description: pdf
  7. ASPARTIX-V
    by Johannes Peter Wallner (Vienna University of Technology, Austria), Allessandro Ronca (Vienna University of Technology, Austria), Stefan Woltran (Vienna University of Technology, Austria)
    System description: pdf
  8. CoQuiAAS
    by Jean-Guy Mailly (Universite D'Artois, France), Jean-Marie Lagniez (Universite D'Artois, France), Emmanuel Lonca (Universite D'Artois, France)
    System description: pdf
  9. ASPARTIX-D
    by Sarah A. Gaggl (TU Dresden, Germany), Norbert Manthey (TU Dresden, Germany)
    System description: pdf
  10. ConArg
    by Stefano Bistarelli (University of Perugia, Italy), Fabio Rossi (University of Perugia, Italy), Francesco Santini (University of Perugia, Italy)
    System description: pdf
  11. GRIS
    by Odinaldo Rodriguez (King's College London, UK)
    System description: pdf
  12. ASGL
    by Kilian Sprotte (FernUniversität in Hagen, Germany)
    System description: pdf
  13. LamatzSolver
    by Nico Lamatz (FernUniversität in Hagen, Germany)
    System description: pdf
  14. ProGraph
    by Groza Serban (Technical University of Cluj Napoca, Romania)
    System description: pdf
  15. DIAMOND
    by Hannes Strass (Universität Leipzig, Germany), Stefan Ellmauthaler (Universität Leipzig, Germany)
    System description: pdf
  16. Carneades
    by Thomas F. Gordon (Fraunhofer FOKUS, Germany)
    System description: pdf
  17. prefMaxSAT
    by Federico Cerutti (University of Aberdeen, UK), Mauro Vallati (University of Huddersfield, UK), Wolfgang Faber (University of Huddersfield, UK), Massimiliano Giacomin (Universita degli Studi di Brescia, Italy)
    System description: pdf
  18. ASSA
    by Evgenios Hadjisoteriou (University of Cyprus, Cyprus), Michael A. Georgiou (Cyprus University of Technology, Cyprus)
    System description: pdf



Last updated 11.08.2015, Matthias Thimm