Improved Answer-Set Programming Encodings for Abstract Argumentation

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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