Relaxed Unification - Proposal.

Tony Abou-Assaleh Nick Cercone

Published in: Canadian Conference on AI (2002)

Keyphrases

optimal solution
data sets
higher order
machine learning
image processing
artificial intelligence
information systems
web services
clustering algorithm
training data
data structure
probabilistic model
logic programs
theorem prover
theorem proving