[Back]


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), Udine; 2008-12-09 - 2008-12-13; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (ed.); Springer, 5366 (2008), ISBN: 978-3-540-89981-5; 734 - 738.



English abstract:
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.