CEGARTIX v0.4: a SAT-based counter-example guided argumentation reasoning tool. We present CEGARTIX in version 0.4 for the International Competition on Computational Models of Argumentation (ICCMA) 2015. We describe the main parts of the software architecture, the main ideas behind the algorithm, ICCMA 2015 specific adaptations, and how to obtain CEGARTIX.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Thimm, Matthias; Villata, Serena: The first international competition on computational models of argumentation: results and analysis (2017)