Improved Answer-Set Programming Encodings for Abstract Argumentation
Aus International Center for Computational Logic
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
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 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}
}