Projection: A Unification Procedure for Tableaux in Conceptual Graphs.

Published in: TABLEAUX (1997)

Keyphrases

conceptual graphs
natural language
proof procedure
theorem proving
knowledge structures
partial order
formal representation
knuth bendix
retrieval engine
ontology reasoning
object oriented dbms
database
artificial intelligence
object oriented
text mining
conceptual structures