Open Access
87- https://doi.org/10.1007/978-3-540-89982-2_67
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
- Jan 1, 2008
- Uwe Egly +2 more
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.
- # Dung's Argumentation Framework
- # Dung's Argumentation
- # Argumentation Framework
- # Disjunctive Datalog Program
- # Disjunctive Datalog
- # Answer-set Solver
- # Datalog Program
- # Broad Range
