ASPARTIX-D Ready for the Competition

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

ASPARTIX-D Ready for the Competition

Vortrag von Sarah Alice Gaggl
ASPARTIX-D is a system designed to evaluate abstract argumentation frameworks. It consists of collection of answer-set programming (ASP) encodings together with an optimal ASP (resp. SAT) solver configuration for each reasoning problem. In this talk we will give an overview of the modifications and the evalutation performed to make ASPARTIX-D ready for the first International Competition on Computational Models of Argumentation (ICCMA 2015).