Efficient and off-the-shelf solver: jArgSemSAT

Cerutti, Federico ORCID: https://orcid.org/0000-0003-0755-0358, Vallati, Mauro and Giacomin, Massimiliano 2016. Efficient and off-the-shelf solver: jArgSemSAT. Presented at: The 6th International Conference on Computational Models of Argument, Potsdam, Germany, 13-16 September 2016.

Preview

PDF - Accepted Post-Print Version Download (81kB) | Preview

Abstract

jArgSemSAT is a Java re-implementation of ArgSemSAT—a SAT- based solver for abstract argumentation problems—that 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. Despite being written in Java, jArgSemSAT is very efficient.

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Completion
Status:	Unpublished
Schools:	Computer Science & Informatics
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Date of First Compliant Deposit:	12 July 2016
Last Modified:	01 Nov 2022 10:40
URI:	https://orca.cardiff.ac.uk/id/eprint/92463

Citation Data

Cited 1 time in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item