ArgSemSAT: Solving argumentation problems using SAT

Massimiliano Giacomin, Federico Cerutti, Mauro Vallati

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

36 Citations (Scopus)


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
Number of pages2
ISBN (Electronic) 9781614994367
ISBN (Print) 9781614994350
Publication statusPublished - 2014

Publication series

NameFrontiers in Artificial Intelligence and Applications
PublisherIOS Press

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.