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
Theory and Practice of Logic Programming (TPLP), 15(4-5):434-448, September 2015

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

@article{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},
  journal = {Theory and Practice of Logic Programming (TPLP)},
  volume  = {15},
  number  = {4-5},
  year    = {2015},
  month   = {September},
  pages   = {434-448}
}