ArgSemSAT-1.0: exploiting SAT solvers in abstract argumentation

Cerutti, Federico ORCID: https://orcid.org/0000-0003-0755-0358, Vallati, Mauro and Giacomin, Massimiliano 2015. ArgSemSAT-1.0: exploiting SAT solvers in abstract argumentation. Presented at: System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15), Online, Jan-Jun 2015. Published in: Thimm, Matthias and Villata, Serena eds. System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15). ArXiv Cornell University Press, pp. 1-4.

Preview

PDF - Accepted Post-Print Version Download (218kB) | Preview

Abstract

In this paper we describe the system ArgSemSAT-1.0 which includes algorithms that efficiently address several decision and enumeration problems-associated to various semantics-in abstract argumentation.

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Completion
Status:	Published
Schools:	Computer Science & Informatics
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Publisher:	Cornell University Press
Date of First Compliant Deposit:	30 March 2016
Last Modified:	31 Oct 2022 10:15
URI:	https://orca.cardiff.ac.uk/id/eprint/84177

Actions (repository staff only)

Edit Item