[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

U. Egly, S. Gaggl, S. Woltran:
"ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming";
Vortrag: International Conference on Logic Programming (ICLP), Udine; 09.12.2008 - 13.12.2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (Hrg.); Springer, 5366 (2008), ISBN: 978-3-540-89981-5; S. 734 - 738.



Kurzfassung englisch:
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.

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.