Inference in Probabilistic Logic Programs using Weighted CNF's.

Daan Fierens Guy Van den Broeck Ingo Thon Bernd Gutmann Luc De Raedt

Published in: UAI (2011)

Keyphrases

probabilistic logic programs
boolean functions
horn theories
probabilistic inference
inference process
bayesian inference
bayesian networks
pairwise
object oriented
np complete
sat solvers