{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:32:51Z","timestamp":1725867171265},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319479576"},{"type":"electronic","value":"9783319479583"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47958-3_19","type":"book-chapter","created":{"date-parts":[[2016,10,8]],"date-time":"2016-10-08T13:40:52Z","timestamp":1475934052000},"page":"357-376","source":"Crossref","is-referenced-by-count":8,"title":["Probabilistic Programming Language and its Incremental Evaluation"],"prefix":"10.1007","author":[{"given":"Oleg","family":"Kiselyov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,9]]},"reference":[{"key":"19_CR1","unstructured":"AISTATS, number 33. MIT Press, Cambridge (2014)"},{"key":"19_CR2","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: a probabilistic Prolog and its application in link discovery. In: Veloso, M.M. (ed.) Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp. 6\u201312, January 2007"},{"issue":"1","key":"19_CR3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1017\/S0956796805005721","volume":"16","author":"M Erwig","year":"2006","unstructured":"Erwig, M., Kollmansberger, S.: Probabilistic functional programming in Haskell. J. Funct. Program. 16(1), 21\u201334 (2006)","journal-title":"J. Funct. Program."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Getoor, L., Taskar, B.: Introduction to Statistical Relational Learning. MIT Press, Cambridge, November 2007","DOI":"10.7551\/mitpress\/7432.001.0001"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Goodman, N.D.: The principles and practice of probabilistic programming. In: POPL 2013: Conference Record of the Annual ACM Symposium on Principles of Programming Languages, pp. 399\u2013402. ACM Press, New York, January 2013","DOI":"10.1145\/2429069.2429117"},{"key":"19_CR6","unstructured":"Goodman, N.D., Mansinghka, V.K., Roy, D., Bonawitz, K., Tenenbaum, J.B.: Church: a language for generative models. In: McAllester, D.A., Myllym\u00e4ki, P. (eds.) Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence, pp. 220\u2013229, Corvallis, Oregon, 9\u201312. AUAI Press, July 2008"},{"key":"19_CR7","unstructured":"Goodman, N.D., Stuhlm\u00fcller, A.: The design and implementation of probabilistic programming languages (2014). http:\/\/dippl.org"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Henzinger, T.A., Nori, A.V., Rajamani, S.K.: Probabilistic programming. In: FOSE, pp. 167\u2013181. ACM (2014)","DOI":"10.1145\/2593882.2593900"},{"key":"19_CR9","unstructured":"Hoffman, M.D., Gelman, A.: The No-U-Turn Sampler: Adaptively setting path lengths in Hamiltonian Monte Carlo. e-Print 1111.4246, arXiv.org (2011)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Hur, C.K., Nori, A.V., Rajamani, S.K., Samuel, S.: A provably correct sampler for probabilistic programs. In: FSTTCS 2015 (2015)","DOI":"10.1145\/2594291.2594303"},{"key":"19_CR11","unstructured":"Kiselyov, O.: Problems of the lightweight implementation of probabilistic programming. In: Proceedings of Workshop on Probabilistic Programming Semantics (2016)"},{"key":"19_CR12","unstructured":"Kiselyov, O., Shan, C.C.: Monolingual probabilistic programming using generalized coroutines. In: Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence, pp. 285\u2013292, Corvallis, Oregon, 19\u201321. AUAI Press, June 2009"},{"issue":"1","key":"19_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0956796807006326","volume":"18","author":"C McBride","year":"2008","unstructured":"McBride, C., Paterson, R.: Applicative programming with effects. J. Funct. Program. 18(1), 1\u201313 (2008)","journal-title":"J. Funct. Program."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Milch, B., Marthi, B., Russell, S., Sontag, D., Ong, D.L., Kolobov, A.: BLOG: probabilistic models with unknown objects. In: Getoor and Taskar [4], chapter 13, pp. 373\u2013398","DOI":"10.7551\/mitpress\/7432.003.0015"},{"key":"19_CR15","unstructured":"Minka, T., Winn, J.M., Guiver, J.P., Kannan, A.: Infer.NET 2.2. Microsoft Research Cambridge (2009). http:\/\/research.microsoft.com\/infernet"},{"issue":"4","key":"19_CR16","first-page":"13","volume":"14","author":"K Murphy","year":"2007","unstructured":"Murphy, K.: Software for graphical models: a review. Int. Soc. Bayesian Anal. Bull. 14(4), 13\u201315 (2007)","journal-title":"Int. Soc. Bayesian Anal. Bull."},{"key":"19_CR17","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, 2nd edn. Morgan Kaufmann, San Francisco (1988)","edition":"2"},{"key":"19_CR18","unstructured":"Pfeffer, A., Figaro: an object-oriented probabilistic programming language. Technical report 137, Charles River Analytics (2009)"},{"issue":"2","key":"19_CR19","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10844-008-0062-7","volume":"31","author":"T Sato","year":"2008","unstructured":"Sato, T.: A glimpse of symbolic-statistical modeling by PRISM. J. Intell. Inf. Syst. 31(2), 161\u2013176 (2008)","journal-title":"J. Intell. Inf. Syst."},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"\u015acibior, A., Ghahramani, Z., Gordon, A.D.: Practical probabilistic programming with monads. In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, pp. 165\u2013176. ACM Press, New York (2015)","DOI":"10.1145\/2804302.2804317"},{"key":"19_CR21","unstructured":"Wingate, D., Stuhlm\u00fcller, A., Goodman, N.D.: Lightweight implementations of probabilistic programming languages via transformational compilation. In: AISTATS, no. 15, pp. 770\u2013778, Revision 3, February 8, 2014. MIT Press, Cambridge (2011)"},{"key":"19_CR22","unstructured":"Wood, F., van de Meent, J.W., Mansinghka, V.: A new approach to probabilistic programming inference. In: AISTATS 2014 [1], pp. 1024\u20131032 (2014)"},{"key":"19_CR23","unstructured":"Yang, L., Hanrahan, P., Goodman, N.D.: Generating efficient MCMC kernels from probabilistic programs. In: AISTATS [1], pp. 1068\u20131076 (2014)"},{"key":"19_CR24","unstructured":"Zinkov, R., Shan, C-C.: Probabilistic programming language Hakaru. v1. DARPA PPAML Report (2014)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47958-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T11:13:17Z","timestamp":1692529997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47958-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319479576","9783319479583"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47958-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}