Inference in Probabilistic Logic Programs using Weighted CNF's

Daan Fierens, Guy Van den Broeck, Ingo Thon +2

Probabilistic logic programs are logic programs in which some of the facts are annotated with probabilities. Several classical probabilistic inference tasks (such as MAP and comput…