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.

DOI: 10.3233/978-1-61499-436-7-455

Extracted Key Phrases

051015201520162017
Citations per Year

Citation Velocity: 9

Averaging 9 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@inproceedings{Cerutti2014ArgSemSATSA, title={ArgSemSAT: Solving Argumentation Problems Using SAT}, author={Federico Cerutti and Massimiliano Giacomin and Mauro Vallati}, booktitle={COMMA}, year={2014} }