Search:
Computing and Library Services - delivering an inspiring information environment

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. (In Press)

[img] 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
Related URLs:
Depositing User: Mauro Vallati
Date Deposited: 24 Feb 2016 15:37
Last Modified: 09 Dec 2016 09:29
URI: http://eprints.hud.ac.uk/id/eprint/27258

Downloads

Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©