Theory Unification in Abstract Clause Graphs.

Hans Jürgen Ohlbach

Published in: GWAI (1985)

Keyphrases

graph construction
knn
higher order
theorem prover
low level
computational complexity
random walk
theoretical framework
theorem proving
general theory
equational theories
data sets
data mining