Inference in Probabilistic Logic Programs using Weighted CNF's

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