jArgSemSAT: An Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning
PublisherAAAI press
Pages541-544
Number of pages4
ISBN (Electronic)9781577357551
Publication statusPublished - 2016
Event15th International Conference on Principles of Knowledge Representation and Reasoning 2016 - Cape Town, South Africa
Duration: 25 Apr 201629 Apr 2016
Conference number: 15
http://kr2016.cs.uct.ac.za/ (Link to Conference Website)

Conference

Conference15th International Conference on Principles of Knowledge Representation and Reasoning 2016
Abbreviated titleKR 2016
CountrySouth Africa
CityCape Town
Period25/04/1629/04/16
Internet address

    Fingerprint

Cite this

Cerutti, F., Vallati, M., & Giacomin, M. (2016). jArgSemSAT: An Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (pp. 541-544). AAAI press.