{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:53:34Z","timestamp":1743047614197,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030522452"},{"type":"electronic","value":"9783030522469"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-52246-9_10","type":"book-chapter","created":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T11:03:49Z","timestamp":1593774229000},"page":"133-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Inference Using Generators: The Statues Algorithm"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Denis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,7,4]]},"reference":[{"issue":"5","key":"10_CR1","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1016\/S0305-0548(99)00133-1","volume":"28","author":"MK Agrawal","year":"2001","unstructured":"Agrawal, M.K., Elmaghraby, S.E.: On computing the distribution function of the sum of independent random variables. Comput. Oper. Res. 28(5), 473\u2013483 (2001)","journal-title":"Comput. Oper. Res."},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1009933109326","volume":"4","author":"D Berleant","year":"1998","unstructured":"Berleant, D., Goodman-Strauss, C.: Bounding the results of arithmetic operations on random variables of unknown dependency using intervals. Reliable Comput. 4(2), 147\u2013165 (1998)","journal-title":"Reliable Comput."},{"issue":"2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1023\/A:1023082100128","volume":"9","author":"D Berleant","year":"2003","unstructured":"Berleant, D., Xie, L., Zhang, J.: Statool: a tool for Distribution Envelope Determination (DEnv), an interval-based algorithm for arithmetic on random variables. Reliable Comput. 9(2), 91\u2013108 (2003)","journal-title":"Reliable Comput."},{"issue":"2\u20133","key":"10_CR4","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/0004-3702(90)90060-D","volume":"42","author":"GF Cooper","year":"1990","unstructured":"Cooper, G.F.: The computational complexity of probabilistic inference using Bayesian belief networks. Artif. Intell. 42(2\u20133), 393\u2013405 (1990)","journal-title":"Artif. Intell."},{"key":"10_CR5","unstructured":"De Raedt, L., Kimmig, A.: Probabilistic programming concepts. arXiv preprint \narXiv:1312.4328\n\n (2013)"},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1214\/088342304000000026","volume":"19","author":"MI Jordan","year":"2004","unstructured":"Jordan, M.I.: Graphical models. Statist. Sci. 19(1), 140\u2013155 (2004)","journal-title":"Statist. Sci."},{"key":"10_CR7","unstructured":"Denis, P.: Lea: discrete probability distributions in Python (2014). \nhttp:\/\/www.bitbucket.org\/piedenis\/lea"},{"key":"10_CR8","unstructured":"Denis, P.: MicroLea: probabilistic inference in Python (2017). \nhttp:\/\/www.bitbucket.org\/piedenis\/microlea"},{"key":"10_CR9","unstructured":"Denis, P.: Probabilistic inference using generators \u2013 the Statues algorithm, appendix C. arXiv preprint \narXiv:1806.09997\n\n (2018)"},{"issue":"13","key":"10_CR10","doi-asserted-by":"publisher","first-page":"1429","DOI":"10.1016\/j.mcm.2005.01.003","volume":"40","author":"DL Evans","year":"2004","unstructured":"Evans, D.L., Leemis, L.M.: Algorithms for computing the distributions of sums of discrete random variables. Math. Comput. Modell. 40(13), 1429\u20131452 (2004)","journal-title":"Math. Comput. Modell."},{"key":"10_CR11","unstructured":"Goodman, N., Mansinghka, V., Roy, D.M., Bonawitz, K., Tenenbaum, J.B.: Church: a language for generative models. In: Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (2012)"},{"key":"10_CR12","unstructured":"Goodman, N., Stuhlm\u00fcller, A.: The design and implementation of probabilistic programming languages (2014). \nhttp:\/\/dippl.org"},{"key":"10_CR13","unstructured":"Knuth, D.E.: The Art of Computer Programming: Fundamental Algorithms, vol. 1, pp. 193-200, 3rd edn. Addison-Wesley, Boston (1997)"},{"key":"10_CR14","unstructured":"Pearl, J.: Reverend Bayes on inference engines: A distributed hierarchical approach, pp. 133-136. Cognitive Systems Laboratory, School of Engineering and Applied Science, University of California, Los Angeles (1982)"},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0004-3702(86)90072-X","volume":"29","author":"J Pearl","year":"1986","unstructured":"Pearl, J.: Fusion, propagation, and structuring in belief networks. Artif. Intell. 29(3), 241\u2013288 (1986)","journal-title":"Artif. Intell."},{"key":"10_CR16","volume-title":"Practical Probabilistic Programming","author":"A Pfeffer","year":"2016","unstructured":"Pfeffer, A.: Practical Probabilistic Programming. Manning Publications Co, Greenwich (2016)"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1613\/jair.1122","volume":"18","author":"D Poole","year":"2003","unstructured":"Poole, D., Zhang, N.L.: Exploiting contextual independence in probabilistic inference. J. Artif. Intell. Res. 18, 263\u2013313 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"10_CR18","unstructured":"Python Software Foundation (2001). \nhttp:\/\/www.python.org"},{"key":"10_CR19","volume-title":"Artificial Intelligence: A Modern Approach","author":"S Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall, Upper Saddle River (2003)","edition":"2"},{"key":"10_CR20","unstructured":"Saba, S.: Coroutine-based combinatorial generation (Doctoral dissertation, University of Victoria) (2014)"},{"key":"10_CR21","unstructured":"Schemenauer, N., Peters, T., Hetland, M.L.: PEP 255 - Simple Generators (2001). \nhttp:\/\/www.python.org\/dev\/peps\/pep-0255\/"},{"key":"10_CR22","unstructured":"SymPy Development Team: SymPy: python library for symbolic mathematics (2016). \nhttp:\/\/www.sympy.org"},{"key":"10_CR23","unstructured":"Williamson, R.C.: Probabilistic arithmetic (Doctoral dissertation, University of Queensland) (1989)"},{"issue":"2","key":"10_CR24","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0888-613X(90)90022-T","volume":"4","author":"RC Williamson","year":"1990","unstructured":"Williamson, R.C., Downs, T.: Probabilistic arithmetic. I. Numerical methods for calculating convolutions and dependency bounds. Int. J. Approximate Reasoning 4(2), 89\u2013158 (1990)","journal-title":"Int. J. Approximate Reasoning"}],"container-title":["Advances in Intelligent Systems and Computing","Intelligent Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-52246-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T23:36:40Z","timestamp":1593819400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-52246-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030522452","9783030522469"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-52246-9_10","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"4 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Science and Information Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 July 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 July 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sai2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/saiconference.com\/Computing","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}