Reasoning and Unification over Conceptual Graphs by Dan Corbett.
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 base...
Full description
Saved in: