{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T06:43:10Z","timestamp":1765608190384},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540879862"},{"type":"electronic","value":"9783540879879"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87987-9_33","type":"book-chapter","created":{"date-parts":[[2009,3,17]],"date-time":"2009-03-17T11:20:06Z","timestamp":1237288806000},"page":"404-418","source":"Crossref","is-referenced-by-count":5,"title":["Dynamic Modeling in Inductive Inference"],"prefix":"10.1007","author":[{"given":"John","family":"Case","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timo","family":"K\u00f6tzing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","first-page":"81","volume":"1","author":"J. B\u0101rzdi\u0146\u0161","year":"1971","unstructured":"B\u0101rzdi\u0146\u0161, J.: Prognostication of automata and functions. Information Processing\u00a01, 81\u201384 (1971)","journal-title":"Information Processing"},{"key":"33_CR2","unstructured":"B\u0101rzdi\u0146\u0161, J.: Inductive inference of automata, functions and programs. In: Int. Math. Congress, Vancouver, pp. 771\u2013776 (1974)"},{"key":"33_CR3","unstructured":"B\u0101rzdi\u0146\u0161, J.: Two theorems on the limiting synthesis of functions. In: Theory of Algorithms and Programs, Latvian State University, Riga, vol.\u00a0210, pp. 82\u201388 (1974)"},{"key":"33_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","volume":"28","author":"L. Blum","year":"1975","unstructured":"Blum, L., Blum, M.: Toward a mathematical theory of inductive inference. Information and Control\u00a028, 125\u2013155 (1975)","journal-title":"Information and Control"},{"issue":"6","key":"33_CR5","doi-asserted-by":"publisher","first-page":"1084","DOI":"10.1137\/0220068","volume":"20","author":"M. Blum","year":"1991","unstructured":"Blum, M., De Santis, A., Micali, S., Persiano, G.: Noninteractive zero-knowledge. SIAM J. Comput.\u00a020(6), 1084\u20131118 (1991)","journal-title":"SIAM J. Comput."},{"key":"33_CR6","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/BF01761704","volume":"8","author":"J. Case","year":"1974","unstructured":"Case, J.: Periodicity in generations of automata. Mathematical Systems Theory\u00a08, 15\u201332 (1974)","journal-title":"Mathematical Systems Theory"},{"key":"33_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1080\/09528139408953778","volume":"6","author":"J. Case","year":"1994","unstructured":"Case, J.: Infinitary self-reference in learning theory. Journal of Experimental and Theoretical Artificial Intelligence\u00a06, 3\u201316 (1994)","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"issue":"3","key":"33_CR8","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/j.jcss.2004.10.014","volume":"71","author":"J. Case","year":"2005","unstructured":"Case, J., Jain, S., Montagna, F., Simi, G., Sorbi, A.: On learning to coordinate: Random bits help, insightful normal forms, and competency isomorphisms. Journal of Computer and System Sciences\u00a071(3), 308\u2013332 (2005); Special issue for selected learning theory papers from COLT 2003, FOCS 2003, and STOC 2003","journal-title":"Journal of Computer and System Sciences"},{"key":"33_CR9","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0304-3975(83)90061-0","volume":"25","author":"J. Case","year":"1983","unstructured":"Case, J., Smith, C.: Comparison of identification criteria for machine inductive inference. Theoretical Computer Science\u00a025, 193\u2013220 (1983)","journal-title":"Theoretical Computer Science"},{"key":"33_CR10","volume-title":"Introduction to Algorithms","author":"T. Cormen","year":"2001","unstructured":"Cormen, T., Leiserson, C., Rivest, R., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press, Cambridge (2001)","edition":"2"},{"issue":"1","key":"33_CR11","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1006\/inco.1995.1158","volume":"123","author":"R. Freivalds","year":"1995","unstructured":"Freivalds, R., Kinber, E.B., Smith, C.H.: On the intrinsic complexity of learning. Information and Computation\u00a0123(1), 64\u201371 (1995)","journal-title":"Information and Computation"},{"key":"33_CR12","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. Gold","year":"1967","unstructured":"Gold, E.: Language identification in the limit. Information and Control\u00a010, 447\u2013474 (1967)","journal-title":"Information and Control"},{"key":"33_CR13","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2307\/1994208","volume":"117","author":"J. Hartmanis","year":"1965","unstructured":"Hartmanis, J., Stearns, R.: On the computational complexity of algorithms. Transactions of the American Mathematical Society\u00a0117, 285\u2013306 (1965)","journal-title":"Transactions of the American Mathematical Society"},{"key":"33_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, P.: An Introduction to Kolmogorov Complexity and Its Applications, 2nd edn. Springer, Heidelberg (1997)","edition":"2"},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"Minicozzi, E.: Some natural properties of strong identification in inductive inference. In: Theoretical Computer Science, pp. 345\u2013360 (1976)","DOI":"10.1016\/0304-3975(76)90087-6"},{"key":"33_CR16","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1023\/A:1005182121401","volume":"118","author":"F. Montagna","year":"1999","unstructured":"Montagna, F., Osherson, D.: Learning to coordinate: A recursion theoretic perspective. Synthese\u00a0118, 363\u2013382 (1999)","journal-title":"Synthese"},{"key":"33_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-51734-0_50","volume-title":"Analogical and Inductive Inference","author":"L. Pitt","year":"1989","unstructured":"Pitt, L.: Inductive inference, DFAs, and computational complexity. In: Jantke, K.P. (ed.) AII 1989. LNCS, vol.\u00a0397, pp. 18\u201344. Springer, Heidelberg (1989)"},{"key":"33_CR18","first-page":"68","volume":"210","author":"K. Podnieks","year":"1974","unstructured":"Podnieks, K.: Comparing various concepts of function prediction. Theory of Algorithms and Programs\u00a0210, 68\u201381 (1974)","journal-title":"Theory of Algorithms and Programs"},{"key":"33_CR19","volume-title":"Research monograph in Progress in Theoretical Computer Science","author":"J. Royer","year":"1994","unstructured":"Royer, J., Case, J.: Subrecursive Programming Systems: Complexity and Succinctness. In: Research monograph in Progress in Theoretical Computer Science, Birkh\u00e4user, Boston (1994)"},{"key":"33_CR20","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers","year":"1967","unstructured":"Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw Hill, New York (1967) (Reprinted by MIT Press, Cambridge, Massachusetts, 1987)"},{"key":"33_CR21","first-page":"93","volume":"12","author":"R. Wiehagen","year":"1976","unstructured":"Wiehagen, R.: Limes-erkennung rekursiver Funktionen durch spezielle Strategien. Electronische Informationverarbeitung und Kybernetik\u00a012, 93\u201399 (1976)","journal-title":"Electronische Informationverarbeitung und Kybernetik"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87987-9_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:53:33Z","timestamp":1619524413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87987-9_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540879862","9783540879879"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87987-9_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}