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

Federico Cerutti; Mauro Vallati; Massimiliano Giacomin

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

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	English
Title of host publication	Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning
Publisher	AAAI press
Pages	541-544
Number of pages	4
ISBN (Electronic)	9781577357551
Publication status	Published - 2016
Event	15th International Conference on Principles of Knowledge Representation and Reasoning 2016 - Cape Town, South Africa Duration: 25 Apr 2016 → 29 Apr 2016 Conference number: 15 http://kr2016.cs.uct.ac.za/ (Link to Conference Website)

Conference

Conference	15th International Conference on Principles of Knowledge Representation and Reasoning 2016
Abbreviated title	KR 2016
Country/Territory	South Africa
City	Cape Town
Period	25/04/16 → 29/04/16
Internet address	http://kr2016.cs.uct.ac.za/ (Link to Conference Website)

Access to Document

https://www.aaai.org/ocs/index.php/AAAI/KR16/schedConf/presentationsLicence: Unspecified
http://eprints.hud.ac.uk/id/eprint/27258/Licence: Unspecified

Cite this

@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",

address = "United States",

note = "15th International Conference on Principles of Knowledge Representation and Reasoning 2016, KR 2016 ; Conference date: 25-04-2016 Through 29-04-2016",

url = "http://kr2016.cs.uct.ac.za/",

}

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. <https://www.aaai.org/ocs/index.php/AAAI/KR16/schedConf/presentations>

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 proceeding › Conference contribution › peer-review

TY - GEN

T1 - jArgSemSAT

T2 - 15th International Conference on Principles of Knowledge Representation and Reasoning 2016

AU - Cerutti, Federico

AU - Vallati, Mauro

AU - Giacomin, Massimiliano

N1 - Conference code: 15

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

Y2 - 25 April 2016 through 29 April 2016

ER -

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

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this