Talks and Poster Presentations (with Proceedings-Entry):
U. Egly, S. Gaggl, S. Woltran:
"Answer-Set Programming Encodings for Argumentation Frameworks";
Talk: International Conference on Logic Programming (ICLP),
- 2008-12-13; in: "ICLP-Workshop Proceedings; Proceedings of the 1st International Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2008",
W. Faber, J. Lee (ed.);
We present reductions from Dung's argumentation framework (AF) and generalizations thereof to logic programs under the answer-set semantics. The reduction is based on a fixed disjunctive datalog program (the interpreter) and its input which is only part depending on the AF to process. We discuss the reductions, which are the basis for the system ASPARTIX in detail and show their adequacy in terms of computational complexity.
Created from the Publication Database of the Vienna University of Technology.