Associative unification in Maude.

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases

equational theories
theorem proving
higher order
associative memory
theorem prover
decision making
database
computer vision
bayesian networks
learning environment
artificial neural networks
formal specification
function symbols
human memory