{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:56:25Z","timestamp":1725738985322},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390906"},{"type":"electronic","value":"9783642390913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39091-3_37","type":"book-chapter","created":{"date-parts":[[2013,7,3]],"date-time":"2013-07-03T18:50:16Z","timestamp":1372877416000},"page":"436-448","source":"Crossref","is-referenced-by-count":2,"title":["MCMC Estimation of Conditional Probabilities in Probabilistic Programming Languages"],"prefix":"10.1007","author":[{"given":"Bogdan","family":"Moldovan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"Thon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesse","family":"Davis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"de Raedt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"Andrieu, C., de Freitas, N., Doucet, A., Jordan, M.I.: An introduction to MCMC for machine learning. Machine Learning\u00a050 (2003)","DOI":"10.1023\/A:1020281327116"},{"key":"37_CR2","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: Problog: A probabilistic Prolog and its application in link discovery. In: IJCAI, pp. 2462\u20132467 (2007)"},{"key":"37_CR3","unstructured":"Fierens, D., Van den Broeck, G., Thon, I., Gutmann, B., De Raedt, L.: Inference in probabilistic logic programs using weighted CNF\u2019s. In: UAI (2011)"},{"key":"37_CR4","unstructured":"Gogate, V., Dechter, R.: AND\/OR importance sampling. In: UAI (2008)"},{"key":"37_CR5","unstructured":"Gogate, V., Domingos, P.: Probabilistic theorem proving. CoRR, abs\/1202.3724 (2012)"},{"key":"37_CR6","unstructured":"Goodman, N., Mansinghka, V.K., Roy, D.M., Bonawitz, K., Tenenbaum, J.B.: Church: a language for generative models. In: UAI, pp. 220\u2013229 (2008)"},{"key":"37_CR7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1002\/j.1538-7305.1950.tb00463.x","volume":"29","author":"R.W. Hamming","year":"1950","unstructured":"Hamming, R.W.: Error detecting and error correcting codes. Bell System Technical J.\u00a029, 147 (1950)","journal-title":"Bell System Technical J."},{"key":"37_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/biomet\/57.1.97","volume":"57","author":"W.K. Hastings","year":"1970","unstructured":"Hastings, W.K.: Monte Carlo sampling methods using Markov chains and their applications. Biometrika\u00a057, 97\u2013109 (1970)","journal-title":"Biometrika"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Karp, R.M., Luby, M.: Monte-carlo algorithms for enumeration and reliability problems. In: FOCS, pp. 56\u201364. IEEE Computer Society (1983)","DOI":"10.1109\/SFCS.1983.35"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Kersting, K., De Raedt, L.: Bayesian logic programs. CoRR, cs.AI\/0111058 (2001)","DOI":"10.1007\/3-540-44797-0_9"},{"key":"37_CR11","unstructured":"Kimmig, A.: A Probabilistic Prolog and its Applications. PhD thesis, Informatics Section, Department of Computer Science, KU Leuven, Belgium (November 2010)"},{"key":"37_CR12","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1017\/S1471068410000566","volume":"11","author":"A. Kimmig","year":"2011","unstructured":"Kimmig, A., Demoen, B., De Raedt, L., Santos Costa, V., Rocha, R.: On the implementation of the probabilistic logic programming language ProbLog. Theory and Practice of Logic Programming\u00a011, 235\u2013262 (2011)","journal-title":"Theory and Practice of Logic Programming"},{"key":"37_CR13","unstructured":"Kok, S., Sumner, M., Richardson, M., Singla, P., Poon, H., Lowd, D., Wang, J., Nath, A., Domingos, P.: The alchemy system for statistical relational AI. Technical report, Dept. of Computer Science and Engineering, U. of Washington, WA (2010)"},{"key":"37_CR14","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1063\/1.1699114","volume":"21","author":"N. Metropolis","year":"1953","unstructured":"Metropolis, N., Rosenbluth, A.W., Rosenbluth, M.N., Teller, A.H., Teller, E.: Equations of state calculations by fast computing machine. Journal of Chemical Physics\u00a021, 1087\u20131091 (1953)","journal-title":"Journal of Chemical Physics"},{"key":"37_CR15","unstructured":"Milch, B., Marthi, B., Russell, S., Sontag, D., Ong, D.L., Kolobov, A.: BLOG: Probabilistic models with unknown objects. In: IJCAI, pp. 1352\u20131359 (2005)"},{"key":"37_CR16","first-page":"682","volume-title":"AAAI\/IAAI","author":"J.D. Park","year":"2002","unstructured":"Park, J.D.: Using weighted MAX-SAT engines to solve MPE. In: AAAI\/IAAI, pp. 682\u2013687. AAAI Press, Menlo Park (2002)"},{"key":"37_CR17","unstructured":"Pfeffer, A.: IBAL: A probabilistic rational programming language. In: IJCAI (2001)"},{"issue":"1-2","key":"37_CR18","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D. Poole","year":"1997","unstructured":"Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell.\u00a094(1-2), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"issue":"1-2","key":"37_CR19","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M. Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Machine Learning\u00a062(1-2), 107\u2013136 (2006)","journal-title":"Machine Learning"},{"key":"37_CR20","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: ICLP, pp. 715\u2013729. MIT Press (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"37_CR21","unstructured":"Sato, T.: A general MCMC method for bayesian inference in logic-based probabilistic modeling. In: IJCAI, pp. 1472\u20131477. IJCAI\/AAAI (2011)"},{"key":"37_CR22","unstructured":"Sato, T., Kameya, Y.: PRISM: A language for symbolic-statistical modeling. In: IJCAI, pp. 1330\u20131339 (1997)"},{"key":"37_CR23","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1137\/0208032","volume":"8","author":"L.G. Valiant","year":"1979","unstructured":"Valiant, L.G.: The complexity of enumeration and reliability problems. SIAM Journal on Computing\u00a08, 410\u2013421 (1979)","journal-title":"SIAM Journal on Computing"},{"key":"37_CR24","first-page":"770","volume":"15","author":"D. Wingate","year":"2011","unstructured":"Wingate, D., Stuhlm\u00fcller, A., Goodman, N.D.: Lightweight implementations of probabilistic programming languages via transformational compilation. Journal of Machine Learning Research - Proceedings Track\u00a015, 770\u2013778 (2011)","journal-title":"Journal of Machine Learning Research - Proceedings Track"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39091-3_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T19:58:47Z","timestamp":1715630327000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39091-3_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390906","9783642390913"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39091-3_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}