ASPARTIX-D Ready for the Competition

Talk by Sarah Alice Gaggl

Location: APB 3105
Start: 4. May 2015 at 2:50 pm
End: 4. May 2015 at 3:50 pm
Research group: Computational Logic
Research group: Knowledge-Based Systems
Event series: KBS Seminar
iCal

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).