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
Library
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)
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email