ASPARTIX-D: ASP Argumentation Reasoning Tool - Dresden
Sarah Alice Gaggl, Norbert Manthey · 2015
ASPARTIX-D is a system designed to evaluate abstract argumentation frameworks. It consists of collection of answer-set programming (ASP) encod- ings together with an optimized ASP (resp. SAT) solver configuration for each reasoning problem. The system meets the requirements of the first International Competition on Computational Models of Argumentation (ICCMA 2015).