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: Computational Models of Argument : Proceedings of COMMA 2014. Frontiers in Artificial Intelligence and Applications, 266 . IOS Press, pp. 455-456. ISBN 978-1-61499-435-0

Metadata only available from this repository.
Item Type: Book Chapter
Subjects: Q Science > Q Science (General)
Schools: School of Computing and Engineering
Related URLs:
Depositing User: Sharon Beastall
Date Deposited: 17 Nov 2015 10:00
Last Modified: 17 Nov 2015 10:00


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 ©