TY  - RPRT
TI  - Inference in Probabilistic Logic Programs using Weighted CNF's
AU  - Daan Fierens
AU  - Guy Van den Broeck
AU  - Ingo Thon
AU  - Bernd Gutmann
AU  - Luc De Raedt
PY  - 2012
UR  - https://arxiv.org/abs/1202.3719
ID  - 1202.3719
ER  -