Skip to main content

ArgSemSAT: Solving Argumentation Problems Using SAT

Cerutti, Federico, Giacomin, Massimiliano and Vallati, Mauro (2014) ArgSemSAT: Solving Argumentation Problems Using SAT. In: 5th International Conference on Computational Models of Argument, 9th-12th September 2014, Pitlochry, Scotland. (Unpublished)
Information
URI:
https://eprints.hud.ac.uk/id/eprint/20370
URI:
https://eprints.hud.ac.uk/id/eprint/20370
Title:
ArgSemSAT: Solving Argumentation Problems Using SAT
Creators:
Cerutti, Federico, Giacomin, Massimiliano and Vallati, Mauro
Date:
12 September 2014
Subjects:
Q Science > Q Science (General)
Q Science > QA Mathematics > QA76 Computer software
Schools:
School of Computing and Engineering
Library
Item Type:
Conference or Workshop Item
Presentation Type:
Paper
Depositing User:
Mauro Vallati
Date Deposited:
05 Jun 2014 13:16
Revision:
34
Last Modified:
21 Nov 2024 09:15
Documents
[thumbnail of semopt.pdf]
semopt.pdf - Accepted Version
Restricted to Registered users only

Download (74kB)
Statistics
CORE (COnnecting REpositories)
Tools
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email