Link Inheritance in Abstract Clause Graphs.
Hans Jürgen OhlbachPublished in: J. Autom. Reason. (1987)
Keyphrases
- web graph
- object oriented
- graph matching
- graph mining
- directed graph
- object oriented databases
- graph databases
- graph theoretic
- theorem prover
- series parallel
- low level
- bipartite graph
- graph theory
- higher level
- knowledge representation
- graph clustering
- search space
- graph representation
- graph structure
- link graph
- multiple inheritance
- undirected graph
- graph model
- propositional logic
- database
- high level
- search engine