Data di Pubblicazione:
2016
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.
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.
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Keywords:
Dung’s AF, semantics, solver
Elenco autori:
Cerutti, Federico; Vallati, Mauro; Giacomin, Massimiliano
Link alla scheda completa:
Titolo del libro:
Proc. of COMMA 2016, 6th International Conference on Computational Models of Argument
Pubblicato in: