ASPARTIX-D Ready for the Competition

PublikationenPublications

• Nach AutorBy Author
  • Sarah Alice GagglSarah Alice Gaggl
  • Norbert MantheyNorbert Manthey
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic
  • Logische Programmierung und ArgumentationLogic Programming and Argumentation
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

ASPARTIX-D Ready for the Competition

Sarah Alice GagglSarah Alice Gaggl,  Norbert MantheyNorbert Manthey

• Download
• Slides

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 Logic, Logische Programmierung und Argumentation, Wissensverarbeitung

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