ArgSemSAT

Solving argumentation problems using SAT

Massimiliano Giacomin, Federico Cerutti, Mauro Vallati

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

34 Citations (Scopus)

Abstract

In this paper we describe the system ArgSemSAT which includes algorithms which we proved to overcome current state-of-the-art performances in enumerating preferred extensions.
Original languageEnglish
Title of host publicationComputational Models of Argument
Subtitle of host publicationProceedings of COMMA 2014
PublisherIOS Press
Pages455-456
Number of pages2
Volume266
ISBN (Electronic) 9781614994367
ISBN (Print) 9781614994350
DOIs
Publication statusPublished - 2014

Publication series

NameFrontiers in Artificial Intelligence and Applications
PublisherIOS Press
Volume266

Cite this

Giacomin, M., Cerutti, F., & Vallati, M. (2014). ArgSemSAT: Solving argumentation problems using SAT. In Computational Models of Argument: Proceedings of COMMA 2014 (Vol. 266, pp. 455-456). (Frontiers in Artificial Intelligence and Applications; Vol. 266). IOS Press. https://doi.org/10.3233/978-1-61499-436-7-455
Giacomin, Massimiliano ; Cerutti, Federico ; Vallati, Mauro. / ArgSemSAT : Solving argumentation problems using SAT. Computational Models of Argument: Proceedings of COMMA 2014. Vol. 266 IOS Press, 2014. pp. 455-456 (Frontiers in Artificial Intelligence and Applications).
@inproceedings{b3342044291744a5b7326a252fd4c199,
title = "ArgSemSAT: Solving argumentation problems using SAT",
abstract = "In this paper we describe the system ArgSemSAT which includes algorithms which we proved to overcome current state-of-the-art performances in enumerating preferred extensions.",
keywords = "abstract argumentation",
author = "Massimiliano Giacomin and Federico Cerutti and Mauro Vallati",
year = "2014",
doi = "10.3233/978-1-61499-436-7-455",
language = "English",
isbn = "9781614994350",
volume = "266",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press",
pages = "455--456",
booktitle = "Computational Models of Argument",
address = "Netherlands",

}

Giacomin, M, Cerutti, F & Vallati, M 2014, ArgSemSAT: Solving argumentation problems using SAT. in Computational Models of Argument: Proceedings of COMMA 2014. vol. 266, Frontiers in Artificial Intelligence and Applications, vol. 266, IOS Press, pp. 455-456. https://doi.org/10.3233/978-1-61499-436-7-455

ArgSemSAT : Solving argumentation problems using SAT. / Giacomin, Massimiliano; Cerutti, Federico; Vallati, Mauro.

Computational Models of Argument: Proceedings of COMMA 2014. Vol. 266 IOS Press, 2014. p. 455-456 (Frontiers in Artificial Intelligence and Applications; Vol. 266).

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

TY - GEN

T1 - ArgSemSAT

T2 - Solving argumentation problems using SAT

AU - Giacomin, Massimiliano

AU - Cerutti, Federico

AU - Vallati, Mauro

PY - 2014

Y1 - 2014

N2 - In this paper we describe the system ArgSemSAT which includes algorithms which we proved to overcome current state-of-the-art performances in enumerating preferred extensions.

AB - In this paper we describe the system ArgSemSAT which includes algorithms which we proved to overcome current state-of-the-art performances in enumerating preferred extensions.

KW - abstract argumentation

U2 - 10.3233/978-1-61499-436-7-455

DO - 10.3233/978-1-61499-436-7-455

M3 - Conference contribution

SN - 9781614994350

VL - 266

T3 - Frontiers in Artificial Intelligence and Applications

SP - 455

EP - 456

BT - Computational Models of Argument

PB - IOS Press

ER -

Giacomin M, Cerutti F, Vallati M. ArgSemSAT: Solving argumentation problems using SAT. In Computational Models of Argument: Proceedings of COMMA 2014. Vol. 266. IOS Press. 2014. p. 455-456. (Frontiers in Artificial Intelligence and Applications). https://doi.org/10.3233/978-1-61499-436-7-455