Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

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.

[thumbnail of efficient-shelf-solver.pdf]
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 Edit Item

Downloads

Downloads per month over past year

View more statistics