DNF Sampling for ProbLog Inference

Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis +1

Inference in probabilistic logic languages such as ProbLog, an extension of Prolog with probabilistic facts, is often based on a reduction to a propositional formula in DNF. Calcul…