From the reviews: "This well-written book is a wonderful text for researchers working on theoretical artificial intelligence (AI). Fundamentally, AI represents knowledge with mathematical objects and then designs computational rules to manipulate these objects. ... In summary, this is a theoretical book for a graph-based approach to knowledge representation. ... A number of detailed algorithms presented in the book may serve as good references for designing a variety of AI systems, such as database mining and logic reasoning." (Hsun-Hsien Chang, ACM Computing Reviews, April, 2009)