Vibhav Gogate, Pedro M. Domingos. Probabilistic theorem proving. Communications of the ACM, 59(7):107-115, 2016. [doi]
@article{GogateD16, title = {Probabilistic theorem proving}, author = {Vibhav Gogate and Pedro M. Domingos}, year = {2016}, doi = {10.1145/2936726}, url = {http://doi.acm.org/10.1145/2936726}, researchr = {https://researchr.org/publication/GogateD16}, cites = {0}, citedby = {0}, journal = {Communications of the ACM}, volume = {59}, number = {7}, pages = {107-115}, }