Unification Modulo ACU I Plus Homomorphisms/Distributivity.

Siva Anantharaman Paliath Narendran Michaël Rusinowitch

Published in: CADE (2003)

Keyphrases

higher order
graph theory
theorem proving
finite state automata
knuth bendix
equational theories
data sets
database
high level
training set
prior knowledge
active learning
probabilistic model