{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T11:04:16Z","timestamp":1769166256446,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540560043","type":"print"},{"value":"9783540473398","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-56004-1_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:51:23Z","timestamp":1330235483000},"page":"260-267","source":"Crossref","is-referenced-by-count":28,"title":["Characterization of finite identification"],"prefix":"10.1007","author":[{"given":"Yasuhito","family":"Mukouchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0019-9958(80)90285-5","volume":"45","author":"D. Angluin","year":"1980","unstructured":"Angluin, D.: Inductive inference of formal languages from positive data, Information and Control 45 (1980), 117\u2013135","journal-title":"Information and Control"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Angluin, D.: Finding patterns common to a set of strings, Proc. 11th Annual Symposium on Theory of Computing (1979), 130\u2013141","DOI":"10.1145\/800135.804406"},{"issue":"No.3","key":"18_CR3","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/356914.356918","volume":"15","author":"D. Angluin","year":"1983","unstructured":"Angluin, D., Smith, C.H.: Inductive inference: theory and methods, ACM Computing Surveys 15 No. 3 (1983), 237\u2013269","journal-title":"ACM Computing Surveys"},{"key":"18_CR4","first-page":"179","volume":"15","author":"R. V. Freivald","year":"1979","unstructured":"Freivald R.V., Wiehagen, R.: Inductive inference with additional information, Elektron. Informationsverarb. Kybern. (EIK) 15 (1979), 179\u2013185","journal-title":"Elektron. Informationsverarb. Kybern. (EIK)"},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. M. Gold","year":"1967","unstructured":"Gold, E.M.: Language identification in the limit, Information and Control, 10 (1967), 447\u2013474","journal-title":"Information and Control"},{"key":"18_CR6","first-page":"465","volume":"17","author":"K. P. Jantke","year":"1981","unstructured":"Jantke, K.P., Beick, H.-R.: Combining postulates of naturalness in inductive inference, Elektron. Informationsverarb. Kybern. (EIK) 17 (1981), 465\u2013484","journal-title":"Elektron. Informationsverarb. Kybern. (EIK)"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0020-0255(80)80006-5","volume":"22","author":"R. Klette","year":"1980","unstructured":"Klette, R., Wiehagen, R.: Research in the theory of inductive inference by GDR mathematicians \u2014 a survey, Information Sciences 22 (1980), 149\u2013169","journal-title":"Information Sciences"},{"key":"18_CR8","series-title":"GOSLER-Report 05\/92","volume-title":"Fachbereich Mathematik und Informatik","author":"S. Lange","year":"1992","unstructured":"Lange, S., Zeugmann, T.: On the power of monotonic language learning, GOSLER-Report 05\/92, Fachbereich Mathematik und Informatik, TH Leipzig (1992)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Lange, S., Zeuginann, T.: Types of monotonic language learning and their characterization, to appear in Proc. 5th Workshop on Comput. Learning Theory (1992)","DOI":"10.1145\/130385.130427"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Muggleton, S., Buntine, W.: Machine invention of first-order predicates by inverting resolution, Proc. 5th International Conference on Machine Learning (1988), 339\u2013352","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"18_CR11","unstructured":"Mukouchi, Y.: Characterization of pattern languages, Proc. 2nd Workshop on Algorithmic Learning Theory (1991), 93\u2013104"},{"key":"18_CR12","unstructured":"Mukouchi, Y.: Definite inductive inference as a successful identification criterion, RIFIS-TR-CS-52, Research Institute of Fundamental Information Science, Kyushu University, (1991)"},{"key":"18_CR13","unstructured":"Sato, M., Umayahara, K.: Inductive inferability for formal languages from positive data, Proc. 2nd Workshop on Algorithmic Learning Theory (1991), 84\u201392"},{"key":"18_CR14","unstructured":"Shapiro, E.Y.: Inductive inference of theories from facts, Technical Report 192, Department of Computer Science, Yale University, (1981)"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Shinohara, T.: Inductive inference from positive data is powerful, Proc. 3rd Workshop on Comput. Learning Theory (1990), 97\u2013110","DOI":"10.1016\/B978-1-55860-146-8.50010-2"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Wright, K.: Identification of unions of languages drawn from an identifiable class, Proc. 2nd Workshop on Comput. Learning Theory (1989), 328\u2013333","DOI":"10.1016\/B978-0-08-094829-4.50026-X"}],"container-title":["Lecture Notes in Computer Science","Analogical and Inductive Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56004-1_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:02:34Z","timestamp":1605628954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56004-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540560043","9783540473398"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-56004-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}