jArgSemSAT is a Java re-implementation of ArgSemSAT—a SATbased 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.
Efficient and Off-The-Shelf Solver: jArgSemSAT
Cerutti, Federico;GIACOMIN, Massimiliano
2016-01-01
Abstract
jArgSemSAT is a Java re-implementation of ArgSemSAT—a SATbased 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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
