Associative-Commutative Superposition.

Leo Bachmair Harald Ganzinger

Published in: CTRS (1994)

Keyphrases

special case
spreading activation
neural network
associative memory
theorem proving
reinforcement learning
cooperative
genetic algorithm
social networks
image processing
high level
pattern recognition
pairwise
domain knowledge
multi class
associative search