Would anyone know if it's possible to obtain more references explaining the CNF labelling (for the exercise) apart from Sebastiani's slides? Thanks alot. Gaya
I am Head of the School of Informatics, and Professor of Computer Systems, at The University of Edinburgh. My research interests are centred around applications of logics in Computer Science, Artificial Intelligence, and Cognitive Science.
1 Comments:
Would anyone know if it's possible to obtain more references explaining the CNF labelling (for the exercise) apart from Sebastiani's slides?
Thanks alot.
Gaya
Post a Comment
<< Home