Improved Answer-Set Programming Encodings for Abstract Argumentation

Sarah Alice GagglSarah Alice Gaggl, Norbert MantheyNorbert Manthey, Alessandro RoncaAlessandro Ronca, Johannes Peter WallnerJohannes Peter Wallner, Stefan WoltranStefan Woltran

Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015, August 2015. arXiv:1507.06689

Details
Bibtex

KurzfassungAbstract
The design of efficient solutions for abstract argumentation problems is a crucial step towards advanced argumentation systems. One of the most prominent approaches in the literature is to use Answer-Set Programming (ASP) for this endeavor. In this paper, we present new encodings for three prominent argumentation semantics using the concept of conditional literals in disjunctions as provided by the ASP-system clingo. Our new encodings are not only more succinct than previous versions, but also outperform them on standard benchmarks.
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Logische Programmierung und ArgumentationLogic Programming and Argumentation, WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{GMRWW2015,
  author    = {Sarah Alice Gaggl and Norbert Manthey and Alessandro Ronca and
               Johannes Peter Wallner and Stefan Woltran},
  title     = {Improved Answer-Set Programming Encodings for Abstract
               Argumentation},
  booktitle = {To appear in Theory and Practice of Logic Programming (TPLP),
               Proceedings of {ICLP} 2015},
  publisher = {arXiv:1507.06689},
  year      = {2015},
  month     = {August}
}