{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:40:09Z","timestamp":1742600409317,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604549"},{"type":"electronic","value":"9783540474708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60454-5_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:30:48Z","timestamp":1330281048000},"page":"282-297","source":"Crossref","is-referenced-by-count":9,"title":["Reflecting and self-confident inductive inference machines"],"prefix":"10.1007","author":[{"given":"Klaus P.","family":"Jantke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Dana Angluin. Computational learning theory: Survey and selected bibliography. In ACM Symposium on Theory of Computing, STOC'92, pages 351\u2013368. ACM Press, 1992.","DOI":"10.1145\/129712.129746"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/356914.356918","volume":"15","author":"D. Angluin","year":"1983","unstructured":"Dana Angluin and Carl H. Smith. A survey of inductive inference: Theory and methods. Computing Surveys, 15:237\u2013269, 1983.","journal-title":"Computing Surveys"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","volume":"28","author":"L. Blum","year":"1975","unstructured":"Leonore Blum and Manuel Blum. Toward a mathematical theory of inductive inference. Information and Control, 28:125\u2013155, 1975.","journal-title":"Information and Control"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1145\/321386.321395","volume":"14","author":"M. Blum","year":"1967","unstructured":"Manuel Blum. A machine-independent theory of the complexity of recursive functions. Journal of the ACM, 14:322\u2013336, 1967.","journal-title":"Journal of the ACM"},{"issue":"1","key":"22_CR5","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/BF01761704","volume":"8","author":"J. Case","year":"1974","unstructured":"John Case. Periodicity in generations of automata. Mathematical Systems Theory, 8(1):15\u201332, 1974.","journal-title":"Mathematical Systems Theory"},{"issue":"1","key":"22_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1080\/09528139408953778","volume":"6","author":"J. Case","year":"1994","unstructured":"John Case. Infinitary self-reference in learning theory. Journal on Experimental and Theoretical AI, 6(1):3\u201316, 1994.","journal-title":"Journal on Experimental and Theoretical AI"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"14","author":"E. M. Gold","year":"1967","unstructured":"E Mark Gold. Language identification in the limit. Information and Control, 14:447\u2013474, 1967.","journal-title":"Information and Control"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Klaus P. Jantke. Algorithmic learning from incomplete information: Principles and problems. In J. Dassow and J. Kelemen, editors, Machines, Languages, and Complexity, Lecture Notes in Computer Science, pages 188\u2013207. Springer-Verlag, 1989.","DOI":"10.1007\/BFb0015939"},{"issue":"4","key":"22_CR9","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/BF03037092","volume":"8","author":"K. P. Jantke","year":"1991","unstructured":"Klaus P. Jantke. Monotonic and non-monotonic inductive inference. New Generation Computing, 8(4):349\u2013360, 1991.","journal-title":"New Generation Computing"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Klaus P. Jantke. Monotonic and nonmonotonic inductive inference of functions and patterns. In K.P. Jantke J. Dix and P.H. Schmitt, editors, Nonmonotonic and Inductive Logic, 1st Int. Workshop, Lecture Notes in Artificial Intelligence 543, pages 161\u2013177. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0023322"},{"key":"22_CR11","first-page":"218","volume-title":"Case based learning in inductive inference","author":"K. P. Jantke","year":"1992","unstructured":"Klaus P. Jantke. Case based learning in inductive inference. In Proc. 5th Annual ACM Workshop on Computational Learning Theory, (COLT'92), July 27\u201329, 1992, Pittsburgh, PA, USA, pages 218\u2013223. ACM Press, 1992."},{"key":"22_CR12","volume-title":"GOSLER Report 24\/93","author":"K. P. Jantke","year":"1994","unstructured":"Klaus P. Jantke. Towards reflecting inductive inference machines. GOSLER Report 24\/93, HTWK Leipzig (FH), FB Informatik, Mathematik & Naturwissenschaften, September 1994."},{"issue":"8\/9","key":"22_CR13","first-page":"465","volume":"17","author":"K. P. Jantke","year":"1981","unstructured":"Klaus P. Jantke and Hans-Rainer Beick. Combining postulates of naturalness in inductive inference. EIK, 17(8\/9):465\u2013484, 1981.","journal-title":"EIK"},{"key":"22_CR14","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1515\/9783112717035-009","volume-title":"Grundlagen der K\u00fcnstlichen Intelligenz","author":"K. P. Jantke","year":"1989","unstructured":"Klaus P. Jantke and Steffen Lange. Algorithmisches Lernen. In K.P. Jantke J. Grabowski and H. Thiele, editors, Grundlagen der K\u00fcnstlichen Intelligenz, pages 246\u2013277. Akademie-Verlag Berlin, 1989."},{"issue":"1","key":"22_CR15","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(95)91134-C","volume":"137","author":"K. P. Jantke","year":"1995","unstructured":"Klaus P. Jantke and Steffen Lange. Case-based representation and learning of pattern languages. TCS, 137(1):25\u201351, 1995.","journal-title":"TCS"},{"key":"22_CR16","unstructured":"Werner Karbach. MODEL-K: Modellierung und Operationalisierung von Selbsteinsch\u00e4tzung und-steuerung durch Reflexion und Metawissen, volume 57 of DISKI, Dissertationen zur K\u00fcnstlichen Intelligenz. infix, 1994."},{"key":"22_CR17","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0020-0255(80)80006-5","volume":"22","author":"R. Klette","year":"1980","unstructured":"Reinhard Klette and Rolf Wiehagen. Research in the theory of inductive inference by GDR mathematicians \u2014 a survey. Information Sciences, 22:149\u2013169, 1980.","journal-title":"Information Sciences"},{"issue":"3","key":"22_CR18","first-page":"91","volume":"21","author":"E. Kinber","year":"1985","unstructured":"Efim Kinber and Thomas Zeugmann. Inductive inference of almost everywhere correct programs by reliably working strategies. Elektron. Inf.verarb. Kybern. (Journal of Information Processing and Cybernetics), 21(3):91\u2013100, 1985.","journal-title":"Elektron. Inf.verarb. Kybern. (Journal of Information Processing and Cybernetics)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Steffen Lange and Phil R. Watson. Machine discovery in the presence of incomplete or ambiguous data. In Setsuo Arikawa and K.P. Jantke, editors, Algorithmic Learning Theory including Analogical and Inductive Inference, AII'94 & ALT'94, LNAI, pages 439\u2013453. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58520-6_82"},{"key":"22_CR20","first-page":"123","volume-title":"volume 744 of Lecture Notes in Artificial Intelligence","author":"Y. Mukouchi","year":"1993","unstructured":"Yasuhito Mukouchi and Setsuo Arikawa. Inductive inference machines that can refute hypothesis spaces. In K.P. Jantke, S. Kobayashi, E. Tomita, and T. Yokomori, editors, Proc. 4th Workshop on Algorithmic Learning Theory, (ALT'93), November 8\u201310, 1993, Tokyo, volume 744 of Lecture Notes in Artificial Intelligence, pages 123\u2013136. Springer-Verlag, 1993."},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/0304-3975(76)90087-6","volume":"2","author":"E. Minicozzi","year":"1976","unstructured":"Eliana Minicozzi. Some natural properties of strong identification in inductive inference. Theoretical Computer Science, 2:345\u2013360, 1976.","journal-title":"Theoretical Computer Science"},{"key":"22_CR22","unstructured":"Michael Machtey and Paul Young. An Introduction to the General Theory of Algorithms. North-Holland, 1974."},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Karl Popper. Conjectures and Refutations. Routledge and Kegan Paul, 1963.","DOI":"10.1063\/1.3050617"},{"key":"22_CR24","unstructured":"Karl Popper. The Logic of Scientific Discovery. Harper & Row, 1965."},{"key":"22_CR25","unstructured":"Hartley Rogers jr. The Theory of Recursive Functions and Effective Computability. McGraw-Hill, 1967."},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Yasubumi Sakakibara, Klaus P. Jantke, and Steffen Lange. Learning languages by collecting cases and tuning parameters. In Setsuo Arikawa and K.P. Jantke, editors, Algorithmic Learning Theory including Analogical and Inductive Inference, AII'94 & ALT'94, LNAI, pages 533\u2013547. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58520-6_88"},{"key":"22_CR27","unstructured":"Frank van Harmelen, Hans Akkermann, Brigitte Bartsch-Sp\u00f6rl, Bert Bredeweg, Carl-Helmut Coulon, and Uwe Drouven. Knowledge-level reflection: Specifications and architectures. Esprit Basic Research Project P3178 REFLECT Report, University of Amsterdam, June 1992."},{"key":"22_CR28","unstructured":"Frank van Harmelen and Bob Wielinga. Knowledge-level reflection. In B. LePape and L. Steels, editors, Enhancing the Knowledge Engineering Process, pages 175\u2013204. Elsevier Science Publ., 1992."},{"key":"22_CR29","first-page":"13","volume-title":"volume 743 of Lecture Notes in Artificial Intelligence","author":"R. Wiehagen","year":"1992","unstructured":"Rolf Wiehagen. From inductive inference to algorithmic learning theory. In S. Doshita, K. Furukawa, K.P. Jantke, and T. Nishida, editors, Proc. 3rd Workshop on Algorithmic Learning Theory, (ALT'92), October 20\u201332, 1992, Tokyo, volume 743 of Lecture Notes in Artificial Intelligence, pages 13\u201324. Springer-Verlag, 1992."},{"issue":"10\/11","key":"22_CR30","first-page":"559","volume":"19","author":"T. Zeugmann","year":"1983","unstructured":"Thomas Zeugmann. A-posteriori characterizations in inductive inference of recursive functions. Elektron. Inf.verarb. Kybern. (Journal of Information Processing and Cybernetics), 19(10\/11):559\u2013594, 1983.","journal-title":"Elektron. Inf.verarb. Kybern. (Journal of Information Processing and Cybernetics)"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60454-5_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:04:07Z","timestamp":1742598247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60454-5_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604549","9783540474708"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-60454-5_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}