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 language | English |
---|---|
Title of host publication | Computational Models of Argument |
Editors | Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, Manfred Stede |
Publisher | IOS Press BV |
Pages | 465-466 |
Number of pages | 2 |
Volume | 287 |
ISBN (Electronic) | 9781614996866 |
ISBN (Print) | 9781614996859 |
DOIs | |
Publication status | Published - 12 Sep 2016 |
Event | 6th International Conference on Computational Models of Argument - University of Potsdam, Potsdam, Germany Duration: 12 Sep 2016 → 16 Sep 2016 Conference number: 6 http://www.ling.uni-potsdam.de/comma2016/ (Link to Conference Website) |
Publication series
Name | Frontiers in Artificial Intelligence and Applications |
---|---|
Volume | 287 |
ISSN (Print) | 0922-6389 |
ISSN (Electronic) | 1879-8314 |
Conference
Conference | 6th International Conference on Computational Models of Argument |
---|---|
Abbreviated title | COMMA 2016 |
Country/Territory | Germany |
City | Potsdam |
Period | 12/09/16 → 16/09/16 |
Internet address |
|