ArgSemSAT: Solving argumentation problems using SAT

Massimiliano Giacomin, Federico Cerutti, Mauro Vallati

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

36 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