Adventures in Associative-Commutative Unification.

Patrick Lincoln Jim Christian

Published in: J. Symb. Comput. (1989)

Keyphrases

spreading activation
theorem proving
associative memory
special case
higher order
information retrieval
theorem prover
equational theories
database
search engine
information retrieval systems
information technology
website
image processing
decision making
automated theorem proving
human memory
knuth bendix