jArgSemSAT: an efficient off-the-shelf solver for abstract argumentation frameworks

Cerutti, Federico ORCID: https://orcid.org/0000-0003-0755-0358, Vallati, Mauro and Giacomin, Massimiliano 2016. jArgSemSAT: an efficient off-the-shelf solver for abstract argumentation frameworks. Presented at: 15th International Conference on Principles of Knowledge Representation and Reasoning, Cape Town, South Africa, 25-29 April 2016.

Preview

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

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Completion
Status:	Unpublished
Schools:	Computer Science & Informatics
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Related URLs:	Organisation
Date of First Compliant Deposit:	30 March 2016
Date of Acceptance:	21 January 2016
Last Modified:	01 Nov 2022 09:28
URI:	https://orca.cardiff.ac.uk/id/eprint/88071

Citation Data

Cited 6 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item