Efficient and Off-The-Shelf Solver: jArgSemSAT

Federico Cerutti; Mauro Vallati; Massimiliano Giacomin

doi:10.3233/978-1-61499-686-6-465

Efficient and Off-The-Shelf Solver: jArgSemSAT

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin

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

2 Citations (Scopus)

Abstract

jArgSemSAT is a Java re-implementation of ArgSemSAT—a SAT-based 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.

Original language	English
Title of host publication	Computational Models of Argument
Editors	Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, Manfred Stede
Publisher	IOS Press BV
Pages	465-466
Number of pages	2
Volume	287
ISBN (Electronic)	9781614996866
ISBN (Print)	9781614996859
DOIs	https://doi.org/10.3233/978-1-61499-686-6-465
Publication status	Published - 12 Sept 2016
Event	6th International Conference on Computational Models of Argument - University of Potsdam, Potsdam, Germany Duration: 12 Sept 2016 → 16 Sept 2016 Conference number: 6 http://www.ling.uni-potsdam.de/comma2016/ (Link to Conference Website)

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	287
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	6th International Conference on Computational Models of Argument
Abbreviated title	COMMA 2016
Country/Territory	Germany
City	Potsdam
Period	12/09/16 → 16/09/16
Internet address	http://www.ling.uni-potsdam.de/comma2016/ (Link to Conference Website)

Access to Document

10.3233/978-1-61499-686-6-465Licence: CC BY-NC

Cite this

@inproceedings{de967c4db6ae429e9969badbaaf7a0ae,

title = "Efficient and Off-The-Shelf Solver: jArgSemSAT",

abstract = "jArgSemSAT is a Java re-implementation of ArgSemSAT—a SAT-based 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.",

keywords = "Dung{\textquoteright}s AF, semantics, solver",

author = "Federico Cerutti and Mauro Vallati and Massimiliano Giacomin",

note = "Publisher Copyright: {\textcopyright} 2016 The authors and IOS Press.; 6th International Conference on Computational Models of Argument, COMMA 2016 ; Conference date: 12-09-2016 Through 16-09-2016",

year = "2016",

month = sep,

day = "12",

doi = "10.3233/978-1-61499-686-6-465",

language = "English",

isbn = "9781614996859",

volume = "287",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press BV",

pages = "465--466",

editor = "Pietro Baroni and Gordon, \{Thomas F.\} and Tatjana Scheffler and Manfred Stede",

booktitle = "Computational Models of Argument",

address = "Netherlands",

url = "http://www.ling.uni-potsdam.de/comma2016/",

}

Cerutti, F, Vallati, M & Giacomin, M 2016, Efficient and Off-The-Shelf Solver: jArgSemSAT. in P Baroni, TF Gordon, T Scheffler & M Stede (eds), Computational Models of Argument. vol. 287, Frontiers in Artificial Intelligence and Applications, vol. 287, IOS Press BV, pp. 465-466, 6th International Conference on Computational Models of Argument, Potsdam, Brandenburg, Germany, 12/09/16. https://doi.org/10.3233/978-1-61499-686-6-465

Efficient and Off-The-Shelf Solver: jArgSemSAT. / Cerutti, Federico; Vallati, Mauro; Giacomin, Massimiliano.
Computational Models of Argument. ed. / Pietro Baroni; Thomas F. Gordon; Tatjana Scheffler; Manfred Stede. Vol. 287 IOS Press BV, 2016. p. 465-466 (Frontiers in Artificial Intelligence and Applications; Vol. 287).

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

TY - GEN

T1 - Efficient and Off-The-Shelf Solver

T2 - 6th International Conference on Computational Models of Argument

AU - Cerutti, Federico

AU - Vallati, Mauro

AU - Giacomin, Massimiliano

N1 - Conference code: 6

PY - 2016/9/12

Y1 - 2016/9/12

N2 - jArgSemSAT is a Java re-implementation of ArgSemSAT—a SAT-based 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.

AB - jArgSemSAT is a Java re-implementation of ArgSemSAT—a SAT-based 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.

KW - Dung’s AF

KW - semantics

KW - solver

UR - https://www.scopus.com/pages/publications/85030126582

U2 - 10.3233/978-1-61499-686-6-465

DO - 10.3233/978-1-61499-686-6-465

M3 - Conference contribution

AN - SCOPUS:85030126582

SN - 9781614996859

VL - 287

T3 - Frontiers in Artificial Intelligence and Applications

SP - 465

EP - 466

BT - Computational Models of Argument

A2 - Baroni, Pietro

A2 - Gordon, Thomas F.

A2 - Scheffler, Tatjana

A2 - Stede, Manfred

PB - IOS Press BV

Y2 - 12 September 2016 through 16 September 2016

ER -

Efficient and Off-The-Shelf Solver: jArgSemSAT

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this