Inference and learning in probabilistic logic programs using weighted Boolean formulas.
Daan FierensGuy Van den BroeckJoris RenkensDimitar Sht. ShterionovBernd GutmannIngo ThonGerda JanssensLuc De RaedtPublished in: Theory Pract. Log. Program. (2015)