In this report from the field we describe jArgSemSAT, a Java re-implementation of ArgSemSAT. We show that jArgSemSAT 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. The performance section shows that — despite being written in Java — jArgSemSAT is very efficient w.r.t. preferred semantics, which has associated problems with high computational complexity.
jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks
Cerutti, Federico;GIACOMIN, Massimiliano
2016-01-01
Abstract
In this report from the field we describe jArgSemSAT, a Java re-implementation of ArgSemSAT. We show that jArgSemSAT 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. The performance section shows that — despite being written in Java — jArgSemSAT is very efficient w.r.t. preferred semantics, which has associated problems with high computational complexity.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.