Efficient and Off-The-Shelf Solver: jArgSemSAT

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationComputational Models of Argument
EditorsPietro Baroni, Thomas F. Gordon, Tatjana Scheffler, Manfred Stede
PublisherIOS Press BV
Pages465-466
Number of pages2
Volume287
ISBN (Electronic)9781614996866
ISBN (Print)9781614996859
DOIs
Publication statusPublished - 12 Sep 2016
Event6th International Conference on Computational Models of Argument - University of Potsdam, Potsdam, Germany
Duration: 12 Sep 201616 Sep 2016
Conference number: 6
http://www.ling.uni-potsdam.de/comma2016/ (Link to Conference Website)

Publication series

NameFrontiers in Artificial Intelligence and Applications
Volume287
ISSN (Print)0922-6389
ISSN (Electronic)1879-8314

Conference

Conference6th International Conference on Computational Models of Argument
Abbreviated titleCOMMA 2016
Country/TerritoryGermany
CityPotsdam
Period12/09/1616/09/16
Internet address

Fingerprint

Dive into the research topics of 'Efficient and Off-The-Shelf Solver: jArgSemSAT'. Together they form a unique fingerprint.

Cite this