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
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:
330
Last Modified:
15 Sep 2025 09:15
Documents
[thumbnail of semopt.pdf]
semopt.pdf - Accepted Version
Restricted to Registered users only

Download (74kB)
Statistics

View Item (login required)
View Item (login required)
CORE (COnnecting REpositories)
Tools
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email