{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:23Z","timestamp":1772164043039,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,1,23]],"date-time":"2013-01-23T00:00:00Z","timestamp":1358899200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,1,23]]},"DOI":"10.1145\/2429069.2429119","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T10:29:29Z","timestamp":1358850569000},"page":"403-416","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["A model-learner pattern for bayesian reasoning"],"prefix":"10.1145","author":[{"given":"Andrew D.","family":"Gordon","sequence":"first","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}]},{"given":"Mihhail","family":"Aizatulin","sequence":"additional","affiliation":[{"name":"Open University, Milton Keynes, United Kingdom"}]},{"given":"Johannes","family":"Borgstrom","sequence":"additional","affiliation":[{"name":"Uppsala University, Uppsala, Sweden"}]},{"given":"Guillaume","family":"Claret","sequence":"additional","affiliation":[{"name":"Microsoft Research, Bangalore, India"}]},{"given":"Thore","family":"Graepel","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}]},{"given":"Aditya V.","family":"Nori","sequence":"additional","affiliation":[{"name":"Microsoft Research, Bangalore, India"}]},{"given":"Sriram K.","family":"Rajamani","sequence":"additional","affiliation":[{"name":"Microsoft Research, Bangalore, India"}]},{"given":"Claudio","family":"Russo","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2013,1,23]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103670"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103721"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_35"},{"key":"e_1_3_2_2_4_1","first-page":"57","volume-title":"Uncertainty in Artificial Intelligence (UAI'03)","author":"Bishop C. M.","year":"2003","unstructured":"C. M. Bishop and M. Svens\u00e9n . Bayesian hierarchical mixtures of experts . In C. Meek and U. Kjarulff, editors, Uncertainty in Artificial Intelligence (UAI'03) , pages 57 -- 64 . Morgan Kaufmann , 2003 . C. M. Bishop and M. Svens\u00e9n. Bayesian hierarchical mixtures of experts. In C. Meek and U. Kjarulff, editors, Uncertainty in Artificial Intelligence (UAI'03), pages 57--64. Morgan Kaufmann, 2003."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/944919.944937"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987211.1987216"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/3-540-48683-6_24","volume-title":"Computer Aided Verification (CAV'09)","author":"Bozga M.","year":"1999","unstructured":"M. Bozga and O. Maler . On the representation of probabilities over structured domains . In Computer Aided Verification (CAV'09) , pages 261 -- 273 , 1999 . M. Bozga and O. Maler. On the representation of probabilities over structured domains. In Computer Aided Verification (CAV'09), pages 261--273, 1999."},{"key":"e_1_3_2_2_8_1","first-page":"2443","volume-title":"International Joint Conference on on Artificial Intelligence (IJCAI'07)","author":"Chavira M.","year":"2007","unstructured":"M. Chavira and A. Darwiche . Compiling Bayesian networks using variable elimination . In International Joint Conference on on Artificial Intelligence (IJCAI'07) , pages 2443 -- 2449 , 2007 . M. Chavira and A. Darwiche. Compiling Bayesian networks using variable elimination. In International Joint Conference on on Artificial Intelligence (IJCAI'07), pages 2443--2449, 2007."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1534901"},{"key":"e_1_3_2_2_12_1","volume-title":"HBC: Hierarchical Bayes Compiler","author":"H. Daum\u00e9","year":"2008","unstructured":"H. Daum\u00e9 III. HBC: Hierarchical Bayes Compiler , 2008 . Available at http:\/\/www.cs.utah.edu\/ hal\/HBC\/. H. Daum\u00e9 III. HBC: Hierarchical Bayes Compiler, 2008. Available at http:\/\/www.cs.utah.edu\/ hal\/HBC\/."},{"key":"e_1_3_2_2_13_1","first-page":"92","volume-title":"L. De Raedt","author":"Domingos P.","year":"2008","unstructured":"P. Domingos , S. Kok , D. Lowd , H. Poon , M. Richardson , and P. Singla . Markov logic . In L. De Raedt , P. Frasconi, K. Kersting, and S. Muggleton, editors, Probabilistic inductive logic programming, pages 92 -- 117 . Springer-Verlag , Berlin, Heidelberg, 2008 . P. Domingos, S. Kok, D. Lowd, H. Poon, M. Richardson, and P. Singla. Markov logic. In L. De Raedt, P. Frasconi, K. Kersting, and S. Muggleton, editors, Probabilistic inductive logic programming, pages 92--117. Springer-Verlag, Berlin, Heidelberg, 2008."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005721"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.2307\/2348941"},{"key":"e_1_3_2_2_16_1","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/BFb0092872","volume-title":"Categorical Aspects of Topology and Analysis","author":"Giry M.","year":"1982","unstructured":"M. Giry . A categorical approach to probability theory . In B. Banaschewski, editor, Categorical Aspects of Topology and Analysis , volume 915 of Lecture Notes in Mathematics , pages 68 -- 85 . Springer Berlin \/ Heidelberg , 1982 . M. Giry. A categorical approach to probability theory. In B. Banaschewski, editor, Categorical Aspects of Topology and Analysis, volume 915 of Lecture Notes in Mathematics, pages 68--85. Springer Berlin \/ Heidelberg, 1982."},{"key":"e_1_3_2_2_17_1","first-page":"220","volume-title":"Uncertainty in Artificial Intelligence (UAI'08)","author":"Goodman N.","year":"2008","unstructured":"N. Goodman , V. K. Mansinghka , D. M. Roy , K. Bonawitz , and J. B. Tenenbaum . Church: a language for generative models . In Uncertainty in Artificial Intelligence (UAI'08) , pages 220 -- 229 . AUAI Press , 2008 . N. Goodman, V. K. Mansinghka, D. M. Roy, K. Bonawitz, and J. B. Tenenbaum. Church: a language for generative models. In Uncertainty in Artificial Intelligence (UAI'08), pages 220--229. AUAI Press, 2008."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.32614\/RJ-2009-010"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292558"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/57.1.97"},{"key":"e_1_3_2_2_22_1","first-page":"569","volume-title":"NIPS","author":"Herbrich R.","year":"2006","unstructured":"R. Herbrich , T. Minka , and T. Graepel . Trueskill\u2122: A Bayesian skill rating system . In NIPS , pages 569 -- 576 , 2006 . R. Herbrich, T. Minka, and T. Graepel. Trueskill\u2122: A Bayesian skill rating system. In NIPS, pages 569--576, 2006."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1214\/ss\/1009212519"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1991.3.1.79"},{"key":"e_1_3_2_2_25_1","first-page":"186","volume-title":"Logic in Computer Science (LICS'89)","author":"Jones C.","year":"1989","unstructured":"C. Jones and G. D. Plotkin . A probabilistic powerdomain of evaluations . In Logic in Computer Science (LICS'89) , pages 186 -- 195 . IEEE Computer Society , 1989 . C. Jones and G. D. Plotkin. A probabilistic powerdomain of evaluations. In Logic in Computer Science (LICS'89), pages 186--195. IEEE Computer Society, 1989."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1994.6.2.181"},{"key":"e_1_3_2_2_27_1","volume-title":"Uncertainty in Artificial Intelligence (UAI'09)","author":"Kiselyov O.","year":"2009","unstructured":"O. Kiselyov and C. Shan . Monolingual probabilistic programming using generalized coroutines . In Uncertainty in Artificial Intelligence (UAI'09) , 2009 . O. Kiselyov and C. Shan. Monolingual probabilistic programming using generalized coroutines. In Uncertainty in Artificial Intelligence (UAI'09), 2009."},{"key":"e_1_3_2_2_28_1","first-page":"740","volume-title":"AAAI\/IAAI","author":"Koller D.","year":"1997","unstructured":"D. Koller , D. A. McAllester , and A. Pfeffer . Effective Bayesian inference for stochastic programs . In AAAI\/IAAI , pages 740 -- 747 , 1997 . D. Koller, D. A. McAllester, and A. Pfeffer. Effective Bayesian inference for stochastic programs. In AAAI\/IAAI, pages 740--747, 1997."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.030"},{"key":"e_1_3_2_2_31_1","volume-title":"Information Theory, Inference, and Learning Algorithms. CUP","author":"MacKay D. J. C.","year":"2003","unstructured":"D. J. C. MacKay . Information Theory, Inference, and Learning Algorithms. CUP , 2003 . D. J. C. MacKay. Information Theory, Inference, and Learning Algorithms. CUP, 2003."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.15"},{"key":"e_1_3_2_2_33_1","first-page":"1249","volume-title":"NIPS","author":"McCallum A.","year":"2009","unstructured":"A. McCallum , K. Schultz , and S. Singh . Factorie: Probabilistic programming via imperatively defined factor graphs . In NIPS , pages 1249 -- 1257 , 2009 . A. McCallum, K. Schultz, and S. Singh. Factorie: Probabilistic programming via imperatively defined factor graphs. In NIPS, pages 1249--1257, 2009."},{"key":"e_1_3_2_2_34_1","volume-title":"Abstraction, refinement and proof for probabilistic systems. Monographs in computer science","author":"McIver A.","year":"2005","unstructured":"A. McIver and C. Morgan . Abstraction, refinement and proof for probabilistic systems. Monographs in computer science . Springer , 2005 . A. McIver and C. Morgan. Abstraction, refinement and proof for probabilistic systems. Monographs in computer science. Springer, 2005."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1699114"},{"key":"e_1_3_2_2_37_1","first-page":"1073","volume-title":"phAdvances in Neural Information Processing Systems (NIPS'08)","author":"Minka T.","year":"2008","unstructured":"T. Minka and J. M. Winn . Gates . In phAdvances in Neural Information Processing Systems (NIPS'08) , pages 1073 -- 1080 . MIT Press , 2008 . T. Minka and J. M. Winn. Gates. In phAdvances in Neural Information Processing Systems (NIPS'08), pages 1073--1080. MIT Press, 2008."},{"key":"e_1_3_2_2_38_1","volume-title":"Nov.","author":"Minka T.","year":"2009","unstructured":"T. Minka , J. Winn , J. Guiver , and A. Kannan . Infer.NET 2.3 , Nov. 2009 . Software available from http:\/\/research.microsoft.com\/infernet. T. Minka, J. Winn, J. Guiver, and A. Kannan. Infer.NET 2.3, Nov. 2009. Software available from http:\/\/research.microsoft.com\/infernet."},{"key":"e_1_3_2_2_39_1","volume-title":"Technical Report CRG-TR-93--1, Dept. of Computer Science","author":"Neal R. M.","year":"1993","unstructured":"R. M. Neal . Probabilistic inference using Markov chain Monte Carlo methods. Technical Report CRG-TR-93--1, Dept. of Computer Science , University of Toronto , September 1993 . R. M. Neal. Probabilistic inference using Markov chain Monte Carlo methods. Technical Report CRG-TR-93--1, Dept. of Computer Science, University of Toronto, September 1993."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040320"},{"issue":"1","key":"e_1_3_2_2_41_1","first-page":"161","article-title":"Probabilistic reasoning in intelligent systems: Networks of plausible inference","volume":"104","author":"Pearl J.","year":"1995","unstructured":"J. Pearl and G. Shafer . Probabilistic reasoning in intelligent systems: Networks of plausible inference . Synthese-Dordrecht , 104 ( 1 ): 161 , 1995 . J. Pearl and G. Shafer. Probabilistic reasoning in intelligent systems: Networks of plausible inference. Synthese-Dordrecht, 104 (1): 161, 1995.","journal-title":"Synthese-Dordrecht"},{"key":"e_1_3_2_2_42_1","first-page":"733","volume-title":"International Joint Conference on Artificial Intelligence (IJCAI'01)","author":"Pfeffer A.","year":"2001","unstructured":"A. Pfeffer . IBAL : A probabilistic rational programming language. In B. Nebel, editor , International Joint Conference on Artificial Intelligence (IJCAI'01) , pages 733 -- 740 . Morgan Kaufmann , 2001 . A. Pfeffer. IBAL: A probabilistic rational programming language. In B. Nebel, editor, International Joint Conference on Artificial Intelligence (IJCAI'01), pages 733--740. Morgan Kaufmann, 2001."},{"key":"e_1_3_2_2_43_1","volume-title":"Introduction to Statistical Relational Learning","author":"Pfeffer A.","year":"2007","unstructured":"A. Pfeffer . The design and implementation of IBAL: A general-purpose probabilistic language . In L. Getoor and B. Taskar, editors, Introduction to Statistical Relational Learning . MIT Press , 2007 . A. Pfeffer. The design and implementation of IBAL: A general-purpose probabilistic language. In L. Getoor and B. Taskar, editors, Introduction to Statistical Relational Learning. MIT Press, 2007."},{"key":"e_1_3_2_2_44_1","series-title":"Lecture Notes in Computer Science","first-page":"2","volume-title":"Inductive Logic Programming (ILP","author":"Pfeffer A.","year":"2010","unstructured":"A. Pfeffer . Practical probabilistic programming . In P. Frasconi and F. A. Lisi, editors, Inductive Logic Programming (ILP 2010 ), volume 6489 of Lecture Notes in Computer Science , pages 2 -- 3 . Springer , 2010. A. Pfeffer. Practical probabilistic programming. In P. Frasconi and F. A. Lisi, editors, Inductive Logic Programming (ILP 2010), volume 6489 of Lecture Notes in Computer Science, pages 2--3. Springer, 2010."},{"key":"e_1_3_2_2_45_1","volume-title":"Filzbach User Guide","author":"Purves D.","year":"2012","unstructured":"D. Purves and V. Lyutsarev . Filzbach User Guide , 2012 . Available at http:\/\/research.microsoft.com\/en-us\/um\/cambridge\/groups\/science\/tools\/f%ilzbach\/filzbach.htm. D. Purves and V. Lyutsarev. Filzbach User Guide, 2012. Available at http:\/\/research.microsoft.com\/en-us\/um\/cambridge\/groups\/science\/tools\/f%ilzbach\/filzbach.htm."},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297081.1297085"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503288"},{"key":"e_1_3_2_2_48_1","series-title":"LNCS","first-page":"442","volume-title":"Mathematical Foundations of Computer Science (MFCS)","author":"Saheb-Djahromi N.","year":"1978","unstructured":"N. Saheb-Djahromi . Probabilistic LCF . In Mathematical Foundations of Computer Science (MFCS) , volume 64 of LNCS , pages 442 -- 451 . Springer , 1978 . N. Saheb-Djahromi. Probabilistic LCF. In Mathematical Foundations of Computer Science (MFCS), volume 64 of LNCS, pages 442--451. Springer, 1978."},{"key":"e_1_3_2_2_49_1","first-page":"1384","volume-title":"International Joint Conference on on Artificial Intelligence (IJCAI'05)","author":"Sanner S.","year":"2005","unstructured":"S. Sanner and D. A. McAllester . Affine Algebraic Decision Diagrams (AADDs) and their application to structured probabilistic inference . In International Joint Conference on on Artificial Intelligence (IJCAI'05) , pages 1384 -- 1390 , 2005 . S. Sanner and D. A. McAllester. Affine Algebraic Decision Diagrams (AADDs) and their application to structured probabilistic inference. In International Joint Conference on on Artificial Intelligence (IJCAI'05), pages 1384--1390, 2005."},{"key":"e_1_3_2_2_51_1","volume-title":"CU decision diagram package, release 2.5.0","author":"Somenzi F.","year":"2012","unstructured":"F. Somenzi . CUDD : CU decision diagram package, release 2.5.0 , 2012 . Software available from http:\/\/vlsi.colorado.edu. F. Somenzi. CUDD: CU decision diagram package, release 2.5.0, 2012. Software available from http:\/\/vlsi.colorado.edu."},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159884"},{"key":"e_1_3_2_2_53_1","volume-title":"Probabilistic programming with Infer.NET. Machine Learning Summer School lecture notes,","author":"Winn J.","year":"2009","unstructured":"J. Winn and T. Minka . Probabilistic programming with Infer.NET. Machine Learning Summer School lecture notes, available at http:\/\/research.microsoft.com\/ minka\/papers\/mlss2009\/, 2009 . J. Winn and T. Minka. Probabilistic programming with Infer.NET. Machine Learning Summer School lecture notes, available at http:\/\/research.microsoft.com\/ minka\/papers\/mlss2009\/, 2009."}],"event":{"name":"POPL '13: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Rome Italy","acronym":"POPL '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429069.2429119","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429069.2429119","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:35Z","timestamp":1750221335000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429069.2429119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,23]]},"references-count":49,"alternative-id":["10.1145\/2429069.2429119","10.1145\/2429069"],"URL":"https:\/\/doi.org\/10.1145\/2429069.2429119","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2480359.2429119","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,1,23]]},"assertion":[{"value":"2013-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}