ASPARTIX-D Ready for the Competition

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
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 LogicWissensverarbeitung
@misc{GM2015,
  author = {Sarah Alice Gaggl and Norbert Manthey},
  title  = {ASPARTIX-D Ready for the Competition},
  year   = {2015},
  month  = {April}
}