Table of Contents

Foundations: Basic and Simple Conceptual Graphs.- Basic Conceptual Graphs.- Simple Conceptual Graphs.- Formal Semantics of SGs.- BG Homomorphism and Equivalent Notions.- Computational Aspects of Basic Conceptual Graphs.- Basic Algorithms for BG Homomorphism.- Tractable Cases.- Other Specialization/Generalization Operations.- Extensions.- Nested Conceptual Graphs.- Rules.- The BG Family: Facts, Rules and Constraints.- Conceptual Graphs with Negation.- An Application of Nested Typed Graphs: Semantic Annotation Bases.

Reviews

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)