Inference in Probabilistic Logic Programs using Weighted CNF's

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

Published in: CoRR (2012)

Keyphrases

probabilistic logic programs
bayesian networks
bayesian inference
conjunctive normal form
boolean functions
probabilistic inference
machine learning
image segmentation
belief networks
inference process
chronological backtracking
horn theories