ASPARTIX-D Ready for the Competition

From International Center for Computational Logic
Toggle side column
Sarah Alice Gaggl, Norbert Manthey
ASPARTIX-D Ready for the Competition
Presentation at Argumentation Spring Meeting 2015, Leipzig, April 2015
  • KurzfassungAbstract
    ASPARTIX-D is a system designed to evaluate abstract argumentation frameworks. It consists of collection of answer-set programming (ASP) encodings 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).
  • Forschungsgruppe:Research Group: Computational LogicLogische Programmierung und ArgumentationWissensverarbeitung
@misc{GM2015,
  author = {Sarah Alice Gaggl and Norbert Manthey},
  title  = {ASPARTIX-D Ready for the Competition},
  year   = {2015},
  month  = {April}
}