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.
|Title of host publication||Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning|
|Number of pages||4|
|Publication status||Published - 2016|
|Event||15th International Conference on Principles of Knowledge Representation and Reasoning 2016 - Cape Town, South Africa|
Duration: 25 Apr 2016 → 29 Apr 2016
Conference number: 15
http://kr2016.cs.uct.ac.za/ (Link to Conference Website)
|Conference||15th International Conference on Principles of Knowledge Representation and Reasoning 2016|
|Abbreviated title||KR 2016|
|Period||25/04/16 → 29/04/16|
Cerutti, F., Vallati, M., & Giacomin, M. (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 (pp. 541-544). AAAI press.