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
![]() |
PDF
- Published Version
Restricted to Repository staff only Download (168kB) |
Abstract
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.
Item Type: | Book Chapter |
---|---|
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software |
Schools: | School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge School of Computing and Engineering |
Related URLs: | |
Depositing User: | Mauro Vallati |
Date Deposited: | 24 Feb 2016 15:37 |
Last Modified: | 28 Aug 2021 17:23 |
URI: | http://eprints.hud.ac.uk/id/eprint/27258 |
Downloads
Downloads per month over past year
Repository Staff Only: item control page
![]() |
View Item |