Computing and Library Services - delivering an inspiring information environment

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)

[img] PDF - Accepted Version
Restricted to Registered users only

Download (74kB)
Item Type: Conference or Workshop Item (Paper)
Subjects: Q Science > Q Science (General)
Q Science > QA Mathematics > QA76 Computer software
Schools: School of Computing and Engineering
Related URLs:
Depositing User: Mauro Vallati
Date Deposited: 05 Jun 2014 13:16
Last Modified: 28 Aug 2021 19:11


Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©