{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:43:54Z","timestamp":1747889034298,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466681"},{"type":"electronic","value":"9783662466698"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46669-8_1","type":"book-chapter","created":{"date-parts":[[2015,4,1]],"date-time":"2015-04-01T18:37:37Z","timestamp":1427913457000},"page":"1-25","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Programs as Spreadsheet Queries"],"prefix":"10.1007","author":[{"given":"Andrew D.","family":"Gordon","sequence":"first","affiliation":[]},{"given":"Claudio","family":"Russo","sequence":"additional","affiliation":[]},{"given":"Marcin","family":"Szymczak","sequence":"additional","affiliation":[]},{"given":"Johannes","family":"Borgstr\u00f6m","sequence":"additional","affiliation":[]},{"given":"Nicolas","family":"Rolland","sequence":"additional","affiliation":[]},{"given":"Thore","family":"Graepel","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Tarlow","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Ahmad, Y., Antoniu, T., Goldwater, S., Krishnamurthi, S.: A type system for statically detecting spreadsheet errors. In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pp. 174\u2013183 (2003)","DOI":"10.1109\/ASE.2003.1240305"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Borgstr\u00f6m, J., Gordon, A.D., Greenberg, M., Margetson, J., Gael, J.V.: Measure transformer semantics for Bayesian machine learning. Logical Methods in Computer Science 9(3) (2013) preliminary version at ESOP 2011","DOI":"10.2168\/LMCS-9(3:11)2013"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bornholt, J., Mytkowicz, T., McKinley, K.S.: Uncertain<T>: A first-order type for uncertain data. In: Architectural Support for Programming Languages and Operating Systems (ASPLOS) (March 2014)","DOI":"10.1145\/2541940.2541958"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Van den Broeck, G., Thon, I., van Otterlo, M., De Raedt, L.: DTProbLog: A decision-theoretic probabilistic Prolog. In: AAAI (2010)","DOI":"10.1609\/aaai.v24i1.7755"},{"key":"1_CR5","unstructured":"Cardelli, L.: Typeful programming. Tech. Rep.\u00a052. Digital SRC (1989)"},{"key":"1_CR6","unstructured":"Chen, J., Muggleton, S.: Decision-theoretic logic programs. In: Proceedings of ILP, p. 136 (2009)"},{"key":"1_CR7","volume-title":"Pattern Classification and Scene Analysis","author":"R.O. Duda","year":"1973","unstructured":"Duda, R.O., Hart, P.E.: Pattern Classification and Scene Analysis. John Wiley & Sons, New York (1973)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Gelman, A., Carlin, J.B., Stern, H.S., Dunson, D.B., Vehtari, A., Rubin, D.B.: Bayesian Data Analysis, 3rd edn. Chapman & Hall (2014)","DOI":"10.1201\/b16018"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2348941","volume":"43","author":"W.R. Gilks","year":"1994","unstructured":"Gilks, W.R., Thomas, A., Spiegelhalter, D.J.: A language and program for complex Bayesian modelling. The Statistician\u00a043, 169\u2013178 (1994)","journal-title":"The Statistician"},{"key":"1_CR10","unstructured":"Goodman, N., Mansinghka, V.K., Roy, D.M., Bonawitz, K., Tenenbaum, J.B.: Church: a language for generative models. In: Uncertainty in Artificial Intelligence (UAI 2008), pp. 220\u2013229. AUAI Press (2008)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Goodman, N.D.: The principles and practice of probabilistic programming. In: Principles of Programming Languages (POPL 2013), pp. 399\u2013402 (2013)","DOI":"10.1145\/2480359.2429117"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Aizatulin, M., Borgstr\u00f6m, J., Claret, G., Graepel, T., Nori, A., Rajamani, S., Russo, C.: A model-learner pattern for Bayesian reasoning. In: POPL (2013)","DOI":"10.1145\/2429069.2429119"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Graepel, T., Rolland, N., Russo, C.V., Borgstr\u00f6m, J., Guiver, J.: Tabular: a schema-driven probabilistic programming language. In: POPL (2014a)","DOI":"10.1145\/2535838.2535850"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Henzinger, T.A., Nori, A.V., Rajamani, S.K.: Probabilistic programming. In: Future of Software Engineering (FOSE 2014), pp. 167\u2013181 (2014b)","DOI":"10.1145\/2593882.2593900"},{"key":"1_CR15","unstructured":"Gordon, A.D., Russo, C., Szymczak, M., Borgstr\u00f6m, J., Rolland, N., Graepel, T., Tarlow, D.: Probabilistic programs as spreadsheet queries. Tech. Rep. MSR\u2013TR\u20132014\u2013135, Microsoft Research (2014c)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Herbrich, R., Minka, T., Graepel, T.: TrueSkilltm: A Bayesian skill rating system. In: Advances in Neural Information Processing Systems, NIPS 2006 (2006)","DOI":"10.7551\/mitpress\/7503.003.0076"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., Shan, C.: Embedded probabilistic programming. In: Conference on Domain-Specific Languages, pp. 360\u2013384 (2009)","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"1_CR18","unstructured":"Mansinghka, V., Selsam, D., Perov, Y.: Venture: a higher-order probabilistic programming platform with programmable inference. arXiv preprint arXiv:1404.0099 (2014)"},{"key":"1_CR19","unstructured":"McCallum, A., Schultz, K., Singh, S.: Factorie: Probabilistic programming via imperatively defined factor graphs. In: NIPS 2009, pp. 1249\u20131257 (2009)"},{"key":"1_CR20","unstructured":"Minka, T., Winn, J., Guiver, J., Knowles, D.: Infer.NET 2.5 (2012), Microsoft Research Cambridge. http:\/\/research.microsoft.com\/infernet"},{"key":"1_CR21","unstructured":"Minka, T.P.: A family of algorithms for approximate Bayesian inference. Ph.D. thesis, Massachusetts Institute of Technology (2001)"},{"key":"1_CR22","unstructured":"Nath, A., Domingos, P.: A language for relational decision theory. In: Proceedings of the International Workshop on Statistical Relational Learning (2009)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Nori, A.V., Hur, C.K., Rajamani, S.K., Samuel, S.: R2: An efficient MCMC sampler for probabilistic programs. In: Conference on Artificial Intelligence, AAAI (July 2014)","DOI":"10.1609\/aaai.v28i1.9060"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Nowozin, S.: Optimal decisions from probabilistic models: the intersection-over-union case. In: Proceedings of CVPR 2014 (2014)","DOI":"10.1109\/CVPR.2014.77"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Pfeffer, A.: The design and implementation of IBAL: A general-purpose probabilistic language. In: Getoor, L., Taskar, B. (eds.) Introduction to Statistical Relational Learning. MIT Press (2007)","DOI":"10.7551\/mitpress\/7432.003.0016"},{"key":"1_CR26","unstructured":"Pfeffer, A.: Figaro: An object-oriented probabilistic programming language. Tech. rep., Charles River Analytics (2009)"},{"key":"1_CR27","unstructured":"Riedel, S.R., Singh, S., Srikumar, V., Rockt\u00e4schel, T., Visengeriyeva, L., Noessner, J.: WOLFE: strength reduction and approximate programming for probabilistic programming. In: Statistical Relational Artificial Intelligence (2014)"},{"key":"1_CR28","unstructured":"Stan Development Team: Stan: A C++ library for probability and sampling, version 2.2 (2014), http:\/\/mc-stan.org\/"},{"key":"1_CR29","unstructured":"Wood, F., van de Meent, J.W., Mansinghka, V.: A new approach to probabilistic programming inference. In: Proceedings of the 17th International conference on Artificial Intelligence and Statistics (2014)"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Xi, H., Pfenning, F.: Eliminating array bound checking through dependent types. In: Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation (PLDI), pp. 249\u2013257 (1998)","DOI":"10.1145\/277652.277732"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46669-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T20:24:13Z","timestamp":1747859053000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46669-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466681","9783662466698"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46669-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}