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