Cover Image

Reasoning and Unification over Conceptual Graphs /

Show other versions (1)

<STRONG>Reasoning and Unification over Conceptual Graphs</STRONG> 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...

Full description

Bibliographic Details
Main Author: Corbett, Dan
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Boston, MA : Springer US : Imprint : Springer, 2003.
Subjects:
Computer science.
Computational complexity.
Artificial intelligence.
Logic, Symbolic and mathematical.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • From the contents: 1: Conceptual Structures
  • 2: Unification, Knowledge Structures and Constraints
  • 3: An Algorithm for the Unification of Conceptual Graphs with Constraints
  • 4: Results, Demonstrations and Comparisons
  • 5: Placing the Unification Model in Context
  • 6: Conclusions and Further Work.