Reasoning and unification over conceptual graphs
Auteur :
Corbett, Dan
Éditeur :
Corbett, Dan
ISBN :
9780306474873
Date de publication :
1 janv. 2003
Dimensions :
23,5 x 15,5 x 1,5 cm
Poids :
920 g
Langue :
Anglais
Pays d'origine :
USA
Offering an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures, this work addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. It includes examples, illustrations, and both formal and informal definitions and discussions.