%0 Conference Paper %1 conf/uai/GogateD11a %A Gogate, Vibhav %A Domingos, Pedro M. %B UAI %D 2011 %E Cozman, Fábio Gagliardi %E Pfeffer, Avi %I AUAI Press %K dblp %P 256-265 %T Probabilistic Theorem Proving. %U http://dblp.uni-trier.de/db/conf/uai/uai2011.html#GogateD11a %@ 978-0-9749039-7-2

@inproceedings{conf/uai/GogateD11a, added-at = {2015-05-07T00:00:00.000+0200}, author = {Gogate, Vibhav and Domingos, Pedro M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/225a417cf743031f0f0cc8a409b5bb85f/dblp}, booktitle = {UAI}, crossref = {conf/uai/2011}, editor = {Cozman, Fábio Gagliardi and Pfeffer, Avi}, ee = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2263&proceeding_id=27}, interhash = {f5dae9eb8b469c0753f720d363ae4eea}, intrahash = {25a417cf743031f0f0cc8a409b5bb85f}, isbn = {978-0-9749039-7-2}, keywords = {dblp}, pages = {256-265}, publisher = {AUAI Press}, timestamp = {2016-02-02T15:51:26.000+0100}, title = {Probabilistic Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/uai/uai2011.html#GogateD11a}, year = 2011 }