Reasoning and Unification over Conceptual Graphs

  • DanĀ Corbett

Table of contents

  1. Front Matter
    Pages i-x
  2. Dan Corbett
    Pages 1-27
  3. Dan Corbett
    Pages 69-117
  4. Dan Corbett
    Pages 119-131
  5. Dan Corbett
    Pages 133-140
  6. Back Matter
    Pages 141-151

About this book


Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic relations in knowledge bases. While it provides the first comprehensive treatment of Conceptual Graph unification and reasoning, the book also addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. With a large number of examples, illustrations, and both formal and informal definitions and discussions, this book is excellent as a tutorial for the reader new to Conceptual Graphs, or as a reference book for a senior researcher in Artificial Intelligence, Knowledge Representation or Automated Reasoning.


algorithms artificial intelligence automated reasoning constraint satisfaction constraint satisfaction problem intelligence knowledge knowledge base knowledge representation logic logic programming ontology programming proving

Authors and affiliations

  • DanĀ Corbett
    • 1
  1. 1.University of South AustraliaAdelaideAustralia

Bibliographic information

  • DOI
  • Copyright Information Kluwer Academic/Plenum Publishers, New York 2003
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-4917-4
  • Online ISBN 978-1-4615-0087-2
  • Buy this book on publisher's site