TY - RPRT TI - Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics AU - Fabrizio Riguzzi AU - Terrance Swift PY - 2011 UR - https://arxiv.org/abs/1110.0631 ID - 1110.0631 ER -