Exploiting Uniform Assignments in First-Order MPE.

Udi Apsel Ronen I. Brafman

Published in: UAI (2012)

Keyphrases

first order logic
higher order
closely related
bayesian networks
real world
belief networks
databases
variable elimination
quantifier elimination
belief updating
machine learning
artificial intelligence
knowledge base
probability distribution
inductive logic programming