{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:09:36Z","timestamp":1774987776084,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"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.2429117","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T10:29:29Z","timestamp":1358850569000},"page":"399-402","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["The principles and practice of probabilistic programming"],"prefix":"10.1145","author":[{"given":"Noah D.","family":"Goodman","sequence":"first","affiliation":[{"name":"Stanford University, Stanford, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1,23]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.49"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.1218633"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.06.011"},{"key":"e_1_3_2_2_4_1","volume-title":"Proceedings of the 34th annual conference of the cognitive science society","author":"Gerstenberg T.","year":"2012","unstructured":"T. Gerstenberg and N. D. Goodman . Ping pong in Church: Productive use of concepts in human probabilistic inference . In Proceedings of the 34th annual conference of the cognitive science society , 2012 . T. Gerstenberg and N. D. Goodman. Ping pong in Church: Productive use of concepts in human probabilistic inference. In Proceedings of the 34th annual conference of the cognitive science society, 2012."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1111\/tops.12007"},{"key":"e_1_3_2_2_6_1","volume-title":"Church: A language for generative models. In phIn UAI","author":"Goodman N.","year":"2008","unstructured":"N. Goodman , V. Mansinghka , D. Roy , K. Bonawitz , and J. Tenenbaum . Church: A language for generative models. In phIn UAI , 2008 . N. Goodman, V. Mansinghka, D. Roy, K. Bonawitz, and J. Tenenbaum. Church: A language for generative models. In phIn UAI, 2008."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/77350.77370"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000566"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"e_1_3_2_2_10_1","volume-title":"Probabilistic graphical models: principles and techniques","author":"Koller D.","year":"2009","unstructured":"D. Koller and N. Friedman . Probabilistic graphical models: principles and techniques . MIT press , 2009 . D. Koller and N. Friedman. Probabilistic graphical models: principles and techniques. MIT press, 2009."},{"key":"e_1_3_2_2_11_1","volume-title":"Neural Information Processing Systems Conference (NIPS)","author":"McCallum A.","year":"2009","unstructured":"A. McCallum , K. Schultz , and S. Singh . Factorie: Probabilistic programming via imperatively defined factor graphs . In Neural Information Processing Systems Conference (NIPS) , 2009 . A. McCallum, K. Schultz, and S. Singh. Factorie: Probabilistic programming via imperatively defined factor graphs. In Neural Information Processing Systems Conference (NIPS), 2009."},{"key":"e_1_3_2_2_12_1","first-page":"1352","volume-title":"International Joint Conference on Artificial Intelligence (IJCAI)","author":"Milch B.","year":"2005","unstructured":"B. Milch , B. Marthi , S. Russell , D. Sontag , D. L. Ong , and A. Kolobov . BLOG: Probabilistic models with unknown objects . In International Joint Conference on Artificial Intelligence (IJCAI) , pages 1352 -- 1359 , 2005 . B. Milch, B. Marthi, S. Russell, D. Sontag, D. L. Ong, and A. Kolobov. BLOG: Probabilistic models with unknown objects. In International Joint Conference on Artificial Intelligence (IJCAI), pages 1352--1359, 2005."},{"key":"e_1_3_2_2_13_1","first-page":"733","volume-title":"International Joint Conference on Artificial Intelligence (IJCAI)","author":"Pfeffer A.","year":"2001","unstructured":"A. Pfeffer . IBAL : A probabilistic rational programming language . In International Joint Conference on Artificial Intelligence (IJCAI) , pages 733 -- 740 . Morgan Kaufmann Publ. , 2001 . A. Pfeffer. IBAL: A probabilistic rational programming language. In International Joint Conference on Artificial Intelligence (IJCAI), pages 733--740. Morgan Kaufmann Publ., 2001."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/978-3-540-78652-8_8","volume-title":"The independent choice logic and beyond. Probabilistic inductive logic programming","author":"Poole D.","year":"2008","unstructured":"D. Poole . The independent choice logic and beyond. Probabilistic inductive logic programming , pages 222 -- 243 , 2008 . D. Poole. The independent choice logic and beyond. Probabilistic inductive logic programming, pages 222--243, 2008."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"e_1_3_2_2_17_1","volume-title":"International Joint Conference on Artificial Intelligence (IJCAI)","author":"Sato T.","year":"1997","unstructured":"T. Sato and Y. Kameya . PRISM: A symbolic-statistical modeling language . In International Joint Conference on Artificial Intelligence (IJCAI) , 1997 . T. Sato and Y. Kameya. PRISM: A symbolic-statistical modeling language. In International Joint Conference on Artificial Intelligence (IJCAI), 1997."},{"key":"e_1_3_2_2_18_1","volume-title":"A dynamic programming algorithm for inference in recursive probabilistic programs. arXiv preprint arXiv:1206.3555","author":"Stuhlm\u00fcller A.","year":"2012","unstructured":"A. Stuhlm\u00fcller and N. Goodman . A dynamic programming algorithm for inference in recursive probabilistic programs. arXiv preprint arXiv:1206.3555 , 2012 . A. Stuhlm\u00fcller and N. Goodman. A dynamic programming algorithm for inference in recursive probabilistic programs. arXiv preprint arXiv:1206.3555, 2012."},{"key":"e_1_3_2_2_19_1","first-page":"23","article-title":"Nonstandard interpretations of probabilistic programs for efficient inference","author":"Wingate D.","year":"2011","unstructured":"D. Wingate , N. Goodman , A. Stuhlmueller , and J. Siskind . Nonstandard interpretations of probabilistic programs for efficient inference . In Advances in Neural Information Processing Systems 23 , 2011 . D. Wingate, N. Goodman, A. Stuhlmueller, and J. Siskind. Nonstandard interpretations of probabilistic programs for efficient inference. In Advances in Neural Information Processing Systems 23, 2011.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_2_20_1","unstructured":"D. Wingate A. Stuhlmueller and N. Goodman. Lightweight implementations of probabilistic programming languages via transformational compilation. In pProceedings of the 14th international conference on Artificial Intelligence and Statistics page 131 2011.  D. Wingate A. Stuhlmueller and N. Goodman. Lightweight implementations of probabilistic programming languages via transformational compilation. In pProceedings of the 14th international conference on Artificial Intelligence and Statistics page 131 2011."},{"key":"e_1_3_2_2_21_1","unstructured":"L. Yang P. Hanrahan and N. Goodman. Incrementalizing mcmc on probabilistic programs through tracing and slicing. Under review.  L. Yang P. Hanrahan and N. Goodman. Incrementalizing mcmc on probabilistic programs through tracing and slicing. Under review."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185520.2185552"}],"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.2429117","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429069.2429117","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.2429117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,23]]},"references-count":21,"alternative-id":["10.1145\/2429069.2429117","10.1145\/2429069"],"URL":"https:\/\/doi.org\/10.1145\/2429069.2429117","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2480359.2429117","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"}}]}}