The Cegartix v0.4 system has won two of the three competition tracks it participated in at the 2015 International Competition on Computational Models of Argumentation (ICCMA 2015), and placed second in the third track.
The system is based on joint work by Matti Järvisalo and Johannes Wallner (HIIT, University of Helsinki) with Wolfgang Dvořák (University of Vienna) and Stefan Woltran (Vienna University of Technology). The approach, employing SAT solvers in an incremental fashion to solve argumentation problems with complexity beyond NP, is detailed in Complexity-Sensitive Decision Procedures for Abstract Argumentation. Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner, and Stefan Woltran. Artificial Intelligence 206:53-78, 2014.
The International Competition on Computational Models of Argumentation (ICCMA) aims at nurturing research and development of implementations for computational models of argumentation. The competition was organized for the first time this year, with a second edition planned for 2017. A total of 18 systems by authors from 10 countries participated in this year's competition.
Last updated on 12 Aug 2015 by Matti Järvisalo - Page created on 12 Aug 2015 by Matti Järvisalo