TY  - RPRT
TI  - Inference and learning in probabilistic logic programs using weighted Boolean formulas
AU  - Daan Fierens
AU  - Guy Van den Broeck
AU  - Joris Renkens
AU  - Dimitar Shterionov
AU  - Bernd Gutmann
AU  - Ingo Thon
AU  - Gerda Janssens
AU  - Luc De Raedt
PY  - 2013
DO  - 10.1017/s1471068414000076
UR  - https://arxiv.org/abs/1304.6810
ID  - 1304.6810
ER  -