Daan Fierens, Guy Van den Broeck, Joris Renkens, Dimitar Sht. Shterionov, Bernd Gutmann, Ingo Thon, Gerda Janssens, Luc De Raedt. Inference and learning in probabilistic logic programs using weighted Boolean formulas. TPLP, 15(3):358-401, 2015. [doi]
Abstract is missing.