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.