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

4 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

Web services
Computational complexity
Semantics

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.
Cerutti, Federico ; Vallati, Mauro ; Giacomin, Massimiliano. / jArgSemSAT : An Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks. Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning. AAAI press, 2016. pp. 541-544
@inproceedings{8f48d81346ea413e96ab785a9c12a920,
title = "jArgSemSAT: An Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks",
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.",
keywords = "abstract argumentation, off-the-shelf solver",
author = "Federico Cerutti and Mauro Vallati and Massimiliano Giacomin",
year = "2016",
language = "English",
pages = "541--544",
booktitle = "Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning",
publisher = "AAAI press",

}

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. AAAI press, pp. 541-544, 15th International Conference on Principles of Knowledge Representation and Reasoning 2016, Cape Town, South Africa, 25/04/16.

jArgSemSAT : An Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks. / Cerutti, Federico; Vallati, Mauro; Giacomin, Massimiliano.

Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning. AAAI press, 2016. p. 541-544.

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

TY - GEN

T1 - jArgSemSAT

T2 - An Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks

AU - Cerutti, Federico

AU - Vallati, Mauro

AU - Giacomin, Massimiliano

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

KW - abstract argumentation

KW - off-the-shelf solver

UR - http://kr2016.cs.uct.ac.za/

M3 - Conference contribution

SP - 541

EP - 544

BT - Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning

PB - AAAI press

ER -

Cerutti F, Vallati M, Giacomin M. 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. AAAI press. 2016. p. 541-544