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: 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
Information
URI:
https://eprints.hud.ac.uk/id/eprint/26522
Title:
ArgSemSAT : Solving argumentation problems using SAT
Creators:
Cerutti, Federico, Giacomin, Massimiliano and Vallati, Mauro
Editors:
Parsons, S., Oren, N., Reed, C. and Cerutti, Federico
Official URL:
http://www.iospress.nl/bookserie/frontiers-in-arti...
Date:
September 2014
Subjects:
Q Science > Q Science (General)
Schools:
School of Computing and Engineering
Library
Item Type:
Book Chapter
Depositing User:
Sharon Beastall
Date Deposited:
17 Nov 2015 10:00
Revision:
5
Last Modified:
28 Aug 2021 11:57
Statistics
CORE (COnnecting REpositories)
Tools
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email