AAAI Publications, Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks
Federico Cerutti, Mauro Vallati, Massimiliano Giacomin

Last modified: 2016-03-30


In this report from the field we describe jArgSemSAT, a Java re-implementation of ArgSemSAT. We show that jArgSemSAT can be easily integrated in existing argumentation systems (1) as an off-the-shelf, standalone, library; (2) as a Tweety compatible library; and (3) as a fast and robust web service freely available on the Web. The performance section shows that — despite being written in Java — jArgSemSAT is very efficient w.r.t. preferred semantics, which has associated problems with high computational complexity.

Full Text: PDF