jArgSemSAT: an Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks

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:	Author
Depositing User:	Mauro Vallati
Date Deposited:	24 Feb 2016 15:37
Last Modified:	28 Mar 2018 14:46
URI:	http://eprints.hud.ac.uk/id/eprint/27258

Downloads

Repository Staff Only: item control page

View Item