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

Efficient and off-the-shelf solver: jArgSemSAT

Cerutti, Federico, 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]
PDF - Accepted Post-Print Version
Download (81kB) | Preview


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: 04 Jun 2017 09:14

Actions (repository staff only)

Edit Item Edit Item


Downloads per month over past year

View more statistics