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. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Egly, U., Gaggl, S. A., & Woltran, S. (2008). ASPARTIX: Implementing argumentation frameworks using answer-set programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5366 LNCS, pp. 734–738). https://doi.org/10.1007/978-3-540-89982-2_67
Mendeley helps you to discover research relevant for your work.