Probabilistic Theorem Proving (2011)

by V Gogate, P Domingos
Venue:In Proceedings of the Twenty-Seventh Conference on Uncertainty in Artificial Intelligence