Improved Answer-Set Programming Encodings for Abstract Argumentation

From International Center for Computational Logic

Toggle side column

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
  • 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 LogicLogische Programmierung und ArgumentationWissensverarbeitung
@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}
}