Talks and Poster Presentations (with Proceedings-Entry):
U. Egly, S. Gaggl, S. Woltran:
"ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming";
Talk: International Conference on Logic Programming (ICLP),
- 12-13-2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)",
M. de la Banda, E. Pontelli (ed.);
The system ASPARTIX is a tool for computing acceptable extensions for a broad range of formalizations of Dung´s argumentation framework and generalizations thereof. ASPARTIX relies on a fixed disjunctive datalog program which takes an instance of an argumentation framework as input, and uses the answer-set solver DLV for computing the type of extension specified by the user.
Created from the Publication Database of the Vienna University of Technology.