A Tractable First-Order Probabilistic Logic

Open in new window