{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T02:26:44Z","timestamp":1773714404064,"version":"3.50.1"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319213644","type":"print"},{"value":"9783319213651","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21365-1_26","type":"book-chapter","created":{"date-parts":[[2015,7,14]],"date-time":"2015-07-14T04:07:08Z","timestamp":1436846828000},"page":"251-260","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Toward Tractable Universal Induction Through Recursive Program Learning"],"prefix":"10.1007","author":[{"given":"Arthur","family":"Franz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,15]]},"reference":[{"key":"26_CR1","unstructured":"H-Prize, H.: http:\/\/prize.hutter1.net (accessed: May 17, 2015)"},{"key":"26_CR2","unstructured":"Cover, T.M., Thomas, J.A.: Elements of information theory. John Wiley & Sons (2012)"},{"key":"26_CR3","unstructured":"Friedlander, D., Franklin, S.: LIDA and a theory of mind. In: 2008: Proceedings of the First AGI Conference on Artificial General Intelligence, vol. 171, p. 137. IOS Press (2008)"},{"issue":"4","key":"26_CR4","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1023\/A:1008367325700","volume":"9","author":"J Hernandez-Orallo","year":"2000","unstructured":"Hernandez-Orallo, J.: Beyond the turing test. Journal of Logic, Language and Information 9(4), 447\u2013466 (2000)","journal-title":"Journal of Logic, Language and Information"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Hutter, M.: Universal Artificial Intelligence: Sequential Decisions based on Algorithmic Probability, 300 pages. Springer, Berlin (2005). http:\/\/www.hutter1.net\/ai\/uaibook.htm","DOI":"10.1007\/b138233"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-11931-6_3","volume-title":"Approaches and Applications of Inductive Programming","author":"E Kitzelmann","year":"2010","unstructured":"Kitzelmann, E.: Inductive Programming: A Survey of Program Synthesis Techniques. In: Schmid, U., Kitzelmann, E., Plasmeijer, R. (eds.) AAIP 2009. LNCS, vol. 5812, pp. 50\u201373. Springer, Heidelberg (2010)"},{"key":"26_CR7","unstructured":"Kurzweil, R.: The singularity is near: When humans transcend biology. Penguin (2005)"},{"key":"26_CR8","unstructured":"Legg, S., Hutter, M.: A collection of definitions of intelligence. In: Goertzel, B., Wang, P. (eds.) Advances in Artificial General Intelligence: Concepts, Architectures and Algorithms. Frontiers in Artificial Intelligence and Applications, vol. 157, pp. 17\u201324. IOS Press, Amsterdam (2007). http:\/\/arxiv.org\/abs\/0706.3639"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/978-3-642-44958-1_18","volume-title":"Algorithmic Probability and Friends","author":"S Legg","year":"2013","unstructured":"Legg, S., Veness, J.: An Approximation of the Universal Intelligence Measure. In: Dowe, D.L. (ed.) Solomonoff Festschrift. LNCS, vol. 7070, pp. 236\u2013249. Springer, Heidelberg (2013)"},{"issue":"3","key":"26_CR10","first-page":"115","volume":"9","author":"LA Levin","year":"1973","unstructured":"Levin, L.A.: Universal sequential search problems. Problemy Peredachi Informatsii 9(3), 115\u2013116 (1973)","journal-title":"Problemy Peredachi Informatsii"},{"key":"26_CR11","unstructured":"Li, M., Vit\u00e1nyi, P.M.: An introduction to Kolmogorov complexity and its applications. Springer (2009)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Looks, M., Goertzel, B.: Program representation for general intelligence. In: Proc. of AGI, vol. 9 (2009)","DOI":"10.2991\/agi.2009.32"},{"key":"26_CR13","unstructured":"Mahoney, M.V.: Text compression as a test for artificial intelligence. In: AAAI\/IAAI, p. 970 (1999)"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-39521-5_10","volume-title":"Artificial General Intelligence","author":"A Potapov","year":"2013","unstructured":"Potapov, A., Rodionov, S.: Universal Induction with Varying Sets of Combinators. In: K\u00fchnberger, K.-U., Rudolph, S., Wang, P. (eds.) AGI 2013. LNCS, vol. 7999, pp. 88\u201397. Springer, Heidelberg (2013)"},{"issue":"1","key":"26_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0019-9958(64)90223-2","volume":"7","author":"RJ Solomonoff","year":"1964","unstructured":"Solomonoff, R.J.: A formal theory of inductive inference. Part I. Information and Control 7(1), 1\u201322 (1964)","journal-title":"Part I. Information and Control"},{"issue":"1","key":"26_CR16","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1613\/jair.3125","volume":"40","author":"J Veness","year":"2011","unstructured":"Veness, J., Ng, K.S., Hutter, M., Uther, W., Silver, D.: A Monte-Carlo AIXI approximation. Journal of Artificial Intelligence Research 40(1), 95\u2013142 (2011)","journal-title":"Journal of Artificial Intelligence Research"}],"container-title":["Lecture Notes in Computer Science","Artificial General Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21365-1_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T13:07:24Z","timestamp":1676466444000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21365-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319213644","9783319213651"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21365-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}