Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2016) jArgSemSAT: an Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks. In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR). AAAI Press, pp. 541-544. ISBN 9781577357551

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.

KR2016-report-field.pdf - Published Version
Restricted to Repository staff only

Download (168kB)
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email