HM(X) type inference is CLP(X) solving.

Martin Sulzmann Peter J. Stuckey

Published in: J. Funct. Program. (2008)

Keyphrases

combinatorial optimization
social networks
probabilistic inference
database
neural network
machine learning
search algorithm
expert systems
evolutionary algorithm
special case
bayesian inference
quadratic programming
efficient learning
inference process