jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks

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.