Canonical Forms and Unification.

Jean-Marie Hullot

Published in: CADE (1980)

Keyphrases

expert systems
higher order
information retrieval
high quality
reinforcement learning
data structure
probabilistic model
theorem proving
equational theories