Book Chapter
Unification, Knowledge Structures and Constraints
Dan Corbett
2003, Reasoning and Unification over Conceptual Graphs, Pages 29-47
Book Chapter
Conceptual Structures
Dan Corbett
2003, Reasoning and Unification over Conceptual Graphs, Pages 1-27
Book Chapter
Placing the Unification Model in Context
Dan Corbett
2003, Reasoning and Unification over Conceptual Graphs, Pages 119-131
Book Chapter
An Algorithm for the Unification of Conceptual Graphs with Constraints
Dan Corbett
2003, Reasoning and Unification over Conceptual Graphs, Pages 49-67
Book Chapter
Results, Demonstrations and Comparisons
Dan Corbett
2003, Reasoning and Unification over Conceptual Graphs, Pages 69-117
Book Chapter
Conclusions and Future Work
Dan Corbett
2003, Reasoning and Unification over Conceptual Graphs, Pages 133-140
Book Chapter
Analogical Reasoning
John F. Sowa and Arun K. Majumdar
Lecture Notes in Computer Science, 2003, Volume 2746, Conceptual Structures for Knowledge Creation and Communication, Pages 16-36
Book Chapter
Reasoning with Ontologies by Using Knowledge Conjunction in Conceptual Graphs
Dan Corbett
Lecture Notes in Computer Science, 2002, Volume 2519, On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE, Pages 1304-1316
Book Chapter
Interoperability of Ontologies Using Conceptual Graph Theory
Dan Corbett
Lecture Notes in Computer Science, 2004, Volume 3127, Conceptual Structures at Work, Page 236
Book Chapter
A direct proof procedure for definite conceptual graph programs
Bikash Chandra Ghosh and Vilas Wuwongse
Lecture Notes in Computer Science, 1995, Volume 954, Conceptual Structures: Applications, Implementation and Theory, Pages 158-172