×

ASPARTIX

swMATH ID: 8820
Software Authors: Uwe Egly; Sarah Alice Gaggl; Stefan Woltran
Description: ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. 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.
Homepage: http://www.dbai.tuwien.ac.at/research/project/argumentation/systempage/
Related Software: Dungine; CoQuiAAS; MiniSat; Pregel; SMAC; claspfolio 2; WEKA; SATzilla; Paramils; Lingeling; ProGraph; LamatzSolver; Argtools; Tweety; prefMaxSAT; Carneades; DIAMOND; CEGARTIX; ConArg2; Clingo
Referenced in: 17 Publications

Referencing Publications by Year