{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T21:26:04Z","timestamp":1792963564105,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,1,12]],"date-time":"2005-01-12T00:00:00Z","timestamp":1105488000000},"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":[[2005,1,12]]},"DOI":"10.1145\/1040305.1040320","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T12:58:48Z","timestamp":1107089928000},"page":"171-182","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["A probabilistic language based upon sampling functions"],"prefix":"10.1145","author":[{"given":"Sungwoo","family":"Park","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Pfenning","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Thrun","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2005,1,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Australian Centre for Field Robotics","unstructured":"http:\/\/www.acfr.usyd.edu.au\/homepages\/academic\/enebot\/dataset.htm. Australian Centre for Field Robotics , The University of Sydney . http:\/\/www.acfr.usyd.edu.au\/homepages\/academic\/enebot\/dataset.htm. Australian Centre for Field Robotics, The University of Sydney."},{"key":"e_1_3_2_1_2_1","volume-title":"A guide to simulation","author":"Bratley P.","year":"1996","unstructured":"P. Bratley , B. Fox , and L. Schrage . A guide to simulation . Springer Verlag , 2 nd edition, 1996 . P. Bratley, B. Fox, and L. Schrage. A guide to simulation. Springer Verlag, 2nd edition, 1996.","edition":"2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3437-9"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/3013545.3013556"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1137\/0206049"},{"key":"e_1_3_2_1_6_1","first-page":"68","volume-title":"Categorical Aspects of Topology and Analysis","author":"Giry M.","year":"1981","unstructured":"M. Giry . A categorical approach to probability theory . In B. Banaschewski, editor, Categorical Aspects of Topology and Analysis , pages 68 -- 85 . Springer Verlag , 1981 . M. Giry. A categorical approach to probability theory. In B. Banaschewski, editor, Categorical Aspects of Topology and Analysis, pages 68--85. Springer Verlag, 1981."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292558"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/B978-0-444-70396-5.50019-4","volume-title":"Uncertainty in Artificial Intelligence 2","author":"Henrion M.","year":"1988","unstructured":"M. Henrion . Propagation of uncertainty in Bayesian networks by probabilistic logic sampling . In J. F. Lemmer and L. N. Kanal, editors, Uncertainty in Artificial Intelligence 2 , pages 149 -- 163 . Elsevier\/North-Holland , 1988 . M. Henrion. Propagation of uncertainty in Bayesian networks by probabilistic logic sampling. In J. F. Lemmer and L. N. Kanal, editors, Uncertainty in Artificial Intelligence 2, pages 149--163. Elsevier\/North-Holland, 1988."},{"key":"e_1_3_2_1_9_1","volume-title":"Stochastic Processes and Filtering Theory","author":"Jazwinski A. H.","year":"1970","unstructured":"A. H. Jazwinski . Stochastic Processes and Filtering Theory . Academic Press , New York , 1970 . A. H. Jazwinski. Stochastic Processes and Filtering Theory. Academic Press, New York, 1970."},{"key":"e_1_3_2_1_10_1","unstructured":"C. Jones. Probabilistic Non-Determinism. PhD thesis Department of Computer Science University of Edinburgh 1990.   C. Jones. Probabilistic Non-Determinism. PhD thesis Department of Computer Science University of Edinburgh 1990."},{"key":"e_1_3_2_1_11_1","first-page":"740","volume-title":"AAAI-97\/IAAI-97","author":"Koller D.","year":"1997","unstructured":"D. Koller , D. McAllester , and A. Pfeffer . Effective Bayesian inference for stochastic programs . In AAAI-97\/IAAI-97 , pages 740 -- 747 . AAAI Press , 1997 . D. Koller, D. McAllester, and A. Pfeffer. Effective Bayesian inference for stochastic programs. In AAAI-97\/IAAI-97, pages 740--747. AAAI Press, 1997."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5014-9_7"},{"issue":"1","key":"e_1_3_2_1_14_1","first-page":"11","article-title":"On the meanings of the logical constants and the justifications of the logical laws","volume":"1","author":"Martin-L\u00f6f P.","year":"1996","unstructured":"P. Martin-L\u00f6f . On the meanings of the logical constants and the justifications of the logical laws . Nordic Journal of Philosophical Logic , 1 ( 1 ): 11 -- 60 , 1996 . P. Martin-L\u00f6f. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"T.\n      Mogensen\n    .\n  Roll: A language for specifying die-rolls\n  . In V. Dahl and P. Wadler editors PADL 03 volume \n  2562\n   of \n  LNCS pages \n  145\n  --\n  159\n  . \n  Springer 2002\n  .   T. Mogensen. Roll: A language for specifying die-rolls. In V. Dahl and P. Wadler editors PADL 03 volume 2562 of LNCS pages 145--159. Springer 2002.","DOI":"10.1007\/3-540-36388-2_11"},{"key":"e_1_3_2_1_16_1","first-page":"14","volume-title":"LICS-89","author":"Moggi E.","year":"1989","unstructured":"E. Moggi . Computational lambda-calculus and monads . In LICS-89 , pages 14 -- 23 . IEEE Computer Society Press , 1989 . E. Moggi. Computational lambda-calculus and monads. In LICS-89, pages 14--23. IEEE Computer Society Press, 1989."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_18_1","unstructured":"M. Montemerlo N. Roy and S. Thrun. CARMEN: Carnegie mellon robot navigation toolkit. http:\/\/www.cs.cmu.edu\/~carmen\/.  M. Montemerlo N. Roy and S. Thrun. CARMEN: Carnegie mellon robot navigation toolkit. http:\/\/www.cs.cmu.edu\/~carmen\/."},{"key":"e_1_3_2_1_19_1","volume-title":"IJCAI-03","author":"Montemerlo M.","year":"2003","unstructured":"M. Montemerlo , S. Thrun , D. Koller , and B. Wegbreit . FastSLAM 2.0: An improved particle filtering algorithm for simultaneous localization and mapping that provably converges . In IJCAI-03 . Morgan Kaufmann Publishers, Inc. , 2003 . M. Montemerlo, S. Thrun, D. Koller, and B. Wegbreit. FastSLAM 2.0: An improved particle filtering algorithm for simultaneous localization and mapping that provably converges. In IJCAI-03. Morgan Kaufmann Publishers, Inc., 2003."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2002.1013439"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604180"},{"key":"e_1_3_2_1_23_1","first-page":"733","volume-title":"IJCAI-01","author":"Pfeffer A.","year":"2001","unstructured":"A. Pfeffer . IBAL: A probabilistic rational programming language . In IJCAI-01 , pages 733 -- 740 . Morgan Kaufmann Publishers , 2001 . A. Pfeffer. IBAL: A probabilistic rational programming language. In IJCAI-01, pages 733--740. Morgan Kaufmann Publishers, 2001."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129501003322"},{"key":"e_1_3_2_1_25_1","first-page":"429","volume-title":"UAI-01","author":"Pless D.","year":"2001","unstructured":"D. Pless and G. Luger . Toward general analysis of recursive probability models . In UAI-01 , pages 429 -- 436 . Morgan Kaufmann Publishers , 2001 . D. Pless and G. Luger. Toward general analysis of recursive probability models. In UAI-01, pages 429--436. Morgan Kaufmann Publishers, 2001."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503288"},{"key":"e_1_3_2_1_27_1","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell S.","year":"1995","unstructured":"S. Russell and P. Norvig . Artificial Intelligence: A Modern Approach . Prentice Hall , 1995 . S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, 1995."},{"key":"e_1_3_2_1_28_1","first-page":"442","volume-title":"Saheb-Djahromi. Probabilistic LCF. In Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, volume~64 of LNCS","author":"N.","year":"1978","unstructured":"N. Saheb-Djahromi. Probabilistic LCF. In Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, volume~64 of LNCS , pages 442 -- 451 . Springer , 1978 . N. Saheb-Djahromi. Probabilistic LCF. In Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, volume~64 of LNCS, pages 442--451. Springer, 1978."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v21i4.1534"},{"key":"e_1_3_2_1_30_1","volume-title":"ICRA-00","author":"Thrun S.","year":"2000","unstructured":"S. Thrun . Towards programming tools for robots that integrate probabilistic computation and learning. In ICRA-00 . IEEE , 2000 . S. Thrun. Towards programming tools for robots that integrate probabilistic computation and learning. In ICRA-00. IEEE, 2000."},{"key":"e_1_3_2_1_31_1","volume-title":"Exploring Artificial Intelligence in the New Millenium. Morgan Kaufmann","author":"Thrun S.","year":"2002","unstructured":"S. Thrun . Robotic mapping : A survey. In G. Lakemeyer and B. Nebel, editors , Exploring Artificial Intelligence in the New Millenium. Morgan Kaufmann , 2002 . S. Thrun. Robotic mapping: A survey. In G. Lakemeyer and B. Nebel, editors, Exploring Artificial Intelligence in the New Millenium. Morgan Kaufmann, 2002."}],"event":{"name":"POPL05: The 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2005","location":"Long Beach California USA","acronym":"POPL05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040305.1040320","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1040305.1040320","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:25:00Z","timestamp":1750249500000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040305.1040320"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1,12]]},"references-count":30,"alternative-id":["10.1145\/1040305.1040320","10.1145\/1040305"],"URL":"https:\/\/doi.org\/10.1145\/1040305.1040320","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1047659.1040320","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,1,12]]},"assertion":[{"value":"2005-01-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}