{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:56Z","timestamp":1725664736734},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630456"},{"type":"electronic","value":"9783540690658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63045-7_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:59:23Z","timestamp":1330279163000},"page":"102-112","source":"Crossref","is-referenced-by-count":0,"title":["Learning small programs with additional information"],"prefix":"10.1007","author":[{"given":"R\u00fcsi\u0146\u0161","family":"Freivalds","sequence":"first","affiliation":[]},{"given":"Gints","family":"Tervits","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Wiehagen","sequence":"additional","affiliation":[]},{"given":"Carl","family":"Smith","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/356914.356918","volume":"15","author":"D. Angluin","year":"1983","unstructured":"Dana Angluin, and Carl H. Smith. Inductive inference: Theory and methods, Computing Surveys, v. 15, 1983, pp. 237\u2013269.","journal-title":"Computing Surveys"},{"key":"11_CR2","first-page":"207","volume":"1046","author":"J. B\u0101rzdins","year":"1996","unstructured":"J\u0101nis B\u0101rzdins, R\u00fcsi\u0146\u0161 Freivalds, and Carl H. Smith. Learning with confidence, Lecture Notes in Computer Science, v.1046, 1996, pp. 207\u2013218.","journal-title":"Lecture Notes in Computer Science"},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/3-540-07389-2_199","volume":"32","author":"R. Freivalds","year":"1975","unstructured":"R\u00fcsi\u0146\u0161 Freivalds. Minimal G\u00f6del numbers and their identification in the limit. Lecture Notes in Computer Science, v. 32, 1975, pp. 219\u2013225.","journal-title":"Lecture Notes in Computer Science"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1002\/malq.19780241302","volume":"24","author":"R. Freivalds","year":"1978","unstructured":"R\u00fcsi\u0146\u0161 Freivalds. Effective operations and functionals computable in the limit. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, v. 24, 1978, pp. 193\u2013206 (in Russian)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/3-540-58520-6_56","volume":"872","author":"R. Freivalds","year":"1994","unstructured":"R\u00fcsi\u0146\u0161 Freivalds, Ognian Botuscharov, and Rolf Wiehagen. Identifying nearly minimal G\u00f6del numbers from additional information. Lecture Notes in Computer Science, v. 872, 1994, pp. 91\u201399.","journal-title":"Lecture Notes in Computer Science"},{"key":"11_CR6","first-page":"190","volume-title":"Co-learning of total recursive functions","author":"R. Freivalds","year":"1994","unstructured":"R\u00fcsi\u0146\u0161 Freivalds, Marek Karpinski, and Carl H. Smith. Co-learning of total recursive functions. In Proceedings of the Seventh Annual Conference on Computational Learning Theory, New Brunswick, New Jersey, pp. 190\u2013197. ACM Press, July 1994."},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1006\/inco.1993.1068","volume":"107","author":"R. Freivalds","year":"1993","unstructured":"R\u00fcsi\u0146\u0161 Freivalds, and Carl H. Smith. The role of procrastination in machine learning. Information and Computation, vol. 107, 1993, pp. 237\u2013271.","journal-title":"Information and Computation"},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0306-4573(79)90020-7","volume":"15","author":"R. Freivalds","year":"1979","unstructured":"R\u00fcsi\u0146\u0161 Freivalds, and Rolf Wiehagen. Inductive inference with additional information. Journal of Information Processing and Cybernetics, v. 15, 1979, pp. 179\u2013185.","journal-title":"Journal of Information Processing and Cybernetics"},{"key":"11_CR9","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. M. Gold","year":"1967","unstructured":"E. M. Gold. Language identification in the limit. Information and Control, v. 10, 1967, pp. 447\u2013474.","journal-title":"Information and Control"},{"doi-asserted-by":"crossref","unstructured":"Daniel N. Osherson, Michael Stob, and Scott Weinstein. Systems that Learn. MIT Press, 1986.","key":"11_CR10","DOI":"10.7551\/mitpress\/6609.001.0001"},{"unstructured":"Hartley Rogers Jr. Theory of Recursive Functions and Effective Computability. McGraw-Hill, 1967.","key":"11_CR11"},{"key":"11_CR12","first-page":"1","volume":"961","author":"R. Wiehagen","year":"1995","unstructured":"Rolf Wiehagen, and Thomas Zeugmann. Learning and consistency. Lecture Notes in Artificial Intelligence, v. 961, 1995, pp. 1\u201324.","journal-title":"Lecture Notes in Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63045-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:41:14Z","timestamp":1619559674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}