Semi-Unification.

Deepak Kapur David R. Musser Paliath Narendran Jonathan Stillman

Published in: FSTTCS (1988)

Keyphrases

higher order
database
databases
data mining
machine learning
bayesian networks
multi agent systems
active learning
markov random field
software development
knowledge acquisition
wireless networks
theorem proving
function symbols
knuth bendix