ASPARTIX-D Ready for the Competition

Sarah Alice GagglSarah Alice Gaggl, Norbert MantheyNorbert Manthey

Sarah Alice Gaggl, Norbert Manthey
ASPARTIX-D Ready for the Competition
Presentation at Argumentation Spring Meeting 2015, Leipzig, April 2015

Details
Bibtex

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 LogicComputational Logic, Logische Programmierung und ArgumentationLogic Programming and Argumentation, WissensverarbeitungKnowledge Representation and Reasoning

@misc{GM2015,
  author = {Sarah Alice Gaggl and Norbert Manthey},
  title  = {ASPARTIX-D Ready for the Competition},
  year   = {2015},
  month  = {April}
}