{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T04:13:30Z","timestamp":1747455210376,"version":"3.40.5"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540237334"},{"type":"electronic","value":"9783540686774"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-68677-4_9","type":"book-chapter","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T22:50:23Z","timestamp":1168987823000},"page":"291-326","source":"Crossref","is-referenced-by-count":1,"title":["Program Search as a Path to Artificial General Intelligence"],"prefix":"10.1007","author":[{"given":"Lukasz","family":"Kaiser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Atkins BT, Fillmore CJ, FrameNet, www.icsi.berkeley.edu\/-framenet\/"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Baader F, Nipkow T (1998) Term Rewriting and All That, Cambridge University Press.","DOI":"10.1017\/CBO9781139172752"},{"key":"9_CR3","unstructured":"Bederson B, Piccolo Toolkit, www.cs.umd.edu\/hcil\/piccolo\/"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00f6del K (1931) \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I, Monatshefte f\u00fcr Mathematik und Physik 38:173\u2013198.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del E (2002) Model Checking Games, Proceedings of WOLLIC 02, vol. 67 of Electronic Notes in Theoretical Computer Science, Elsevier.","DOI":"10.1016\/S1571-0661(04)80538-3"},{"key":"9_CR6","unstructured":"Hurd J (2002) Formal Verification of Probabilistic Algorithms, PhD thesis, University of Cambridge."},{"key":"9_CR7","unstructured":"Hutter M (2000) A Theory of Universal Artificial Intelligence based on Algorithmic Complexity, Technical Report cs.AI\/0004001."},{"key":"9_CR8","unstructured":"Hutter M (2005) Universal Algorithmic Intelligence: A Mathematical top\u2192down Approach, this volume."},{"key":"9_CR9","volume-title":"Universal Artificial Intelligence: Sequential Decisions based on Algorithmic Probability","author":"M. Hutter","year":"2004","unstructured":"Hutter M (2004) Universal Artificial Intelligence: Sequential Decisions based on Algorithmic Probability, Springer, Berlin."},{"key":"9_CR10","unstructured":"Kaiser \u0141 (2003) Speagram, www.speagram.org."},{"key":"9_CR11","unstructured":"Kirkegaard C (2001) Borel-A Bounded Resource Language, Project Report, University of Edinburgh."},{"key":"9_CR12","first-page":"1","volume":"1","author":"A.N. Kolmogorov","year":"1965","unstructured":"Kolmogorov AN (1965) Three Approaches to the Quantitative Definition of Information, Problems of Information Transmission 1:1\u201311.","journal-title":"Problems of Information Transmission"},{"issue":"3","key":"9_CR13","first-page":"265","volume":"9","author":"L.A. Levin","year":"1973","unstructured":"Levin LA (1973) Universal Sequential Search Problems, Problems of Information Transmission 9(3):265\u2013266.","journal-title":"Problems of Information Transmission"},{"key":"9_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2606-0","volume-title":"An Introduction to Kolmogorov Complexity and Its Applications","author":"M. Li","year":"1997","unstructured":"Li M, Vitanyi PMB (1997) An Introduction to Kolmogorov Complexity and Its Applications, Springer, Berlin."},{"key":"9_CR15","unstructured":"Presburger M (1929) \u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetic ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt, Compte-Rendus dei Congres des Math. des pays slavs."},{"key":"9_CR16","unstructured":"Raskin J (2000) The Humane Interface: New Directions for Designing Interactive Systems, Addison-Wesley Professional."},{"key":"9_CR17","volume-title":"Handbook of Automated Reasoning","author":"A. Robinson","year":"2001","unstructured":"Robinson A, Voronkov A, Robinson J (2001) Handbook of Automated Reasoning, newblock MIT Press, Cambridge, MA."},{"key":"9_CR18","unstructured":"Schmidhuber J (2002) Optimal Ordered Problem Solver, Technical Report IDSIA-12-02."},{"key":"9_CR19","unstructured":"Schmidhuber J (2005) G\u00f6del Machines: Fully Self-Referential Optimal Universal Self-Improvers, this volume."},{"key":"9_CR20","unstructured":"Schmidhuber J (2005) The New AI: General & Sound & Relevant for Physics, this volume."},{"key":"9_CR21","unstructured":"Solomonoff R (1989) A System for Incremental Learning Based on Algorithmic Probability, Proceedings of the Sixth Israeli Conference on Artificial Intelligence, Computer Vision and Pattern Recognition."},{"key":"9_CR22","unstructured":"Tarski A (1948) A Decision Method for Elementary Algebra and Geometry, prepared for publication by JCC Mc Kinsey, U.S. Air Force Project RAND, R-109, the RAND Corporation."},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Wadler WL (1984) Listlessness is Better than Laziness, PhD thesis, Carnegie-Mellon University.","DOI":"10.1145\/800055.802020"}],"container-title":["Cognitive Technologies","Artificial General Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68677-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T19:19:59Z","timestamp":1747423199000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-68677-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540237334","9783540686774"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68677-4_9","relation":{},"ISSN":["1611-2482"],"issn-type":[{"type":"print","value":"1611-2482"}],"subject":[],"published":{"date-parts":[[2007]]}}}