{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T05:31:51Z","timestamp":1736314311397,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":27,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540564330"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0030388","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:32:44Z","timestamp":1138203164000},"page":"107-117","source":"Crossref","is-referenced-by-count":1,"title":["More about learning elementary formal systems"],"prefix":"10.1007","author":[{"given":"Setsuo","family":"Arikawa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satoru","family":"Miyano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takeshi","family":"Shinohara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ayumi","family":"Shinohara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Angluin, D.: Finding common patterns to a set of strings, Proc. 11th Annual ACM Symp. Theory of Computing, 130\u2013141, 1979.","DOI":"10.1145\/800135.804406"},{"key":"3_CR2","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, Inform. Contr., 45, 117\u2013135, 1980.","journal-title":"Inform. Contr."},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/356914.356918","volume":"15","author":"D. Angluin","year":"1983","unstructured":"Angluin, D. and Smith, C. H.: Inductive inference: Theory and methods, Computing Surveys, 15, 237\u2013269, 1983.","journal-title":"Computing Surveys"},{"key":"3_CR4","first-page":"47","volume":"24","author":"S. Arikawa","year":"1970","unstructured":"Arikawa, S.: Elementary formal systems and formal languages \u2014 simple formal systems, Memoirs of Fac. Sci., Kyushu Univ. Ser. A, Math., 24, 47\u201375, 1970.","journal-title":"Memoirs of Fac. Sci., Kyushu Univ. Ser. A, Math."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Arikawa, S., Shinohara, T. and Yamamoto, A.: Elementary formal system as a unifying framework for language learning, Proc. 2nd Workshop Comput. Learning Theory, 312\u2013327, 1989.","DOI":"10.1016\/B978-0-08-094829-4.50025-8"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Arikawa, S., Kuhara, S., Miyano, S., Shinohara, A. and Shinohara, T.: A learning algorithm for elementary formal systems and its experiments on identification of transmembrane domains, Proc. 25th Hawaii International Conference on System Sciences).","DOI":"10.1109\/HICSS.1992.183220"},{"key":"3_CR7","unstructured":"Arimura, H.: Completeness of depth-bounded resolution in logic programming, Proc. 6th Conf, Japan Soc. Software Sci. Tech., 61\u201364, 1989."},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/0020-0190(87)90114-1","volume":"24","author":"A. Blumer","year":"1987","unstructured":"Blumer, A., Ehrenfeucht, A., Haussler, D. and Warmuth, M.: Occam's razor, Information Processing Letters, 24, 377\u2013380, 1987.","journal-title":"Information Processing Letters"},{"key":"3_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":"Gold, E.M.: Language Identification in the Limit, Inf. & Contr., 10, 447\u2013474, 1967.","journal-title":"Inf. & Contr."},{"key":"3_CR10","first-page":"256","volume":"9","author":"D.S. Johnson","year":"1974","unstructured":"Johnson, D.S.: Approximation algorithms for combinatorial problems, JCSS 9, 256\u2013278, 1974.","journal-title":"JCSS"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"3_CR12","unstructured":"Miyano, S., Shinohara, A. and Shinohara, T.: Which classes of elementary formal systems are polynomial-time learnable ?, Proc. Algorithmic Learning Theory, 139\u2013150, 1991."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Motoki, T., Shinohara, T. and Wright, K.:The correct definition of finite elasticity: Corrigendum to identification of unions, Proc. 4th Workshop Comput. Learning Theory, 375, 1991.","DOI":"10.1016\/B978-1-55860-213-7.50037-7"},{"key":"3_CR14","first-page":"67","volume":"4","author":"B.K. Natarajan","year":"1989","unstructured":"Natarajan, B.K.: On learning sets and functions, Machine Learning, 4, 67\u201397, 1989.","journal-title":"Machine Learning"},{"key":"3_CR15","unstructured":"Protein Identification Resource, National Biomedical Research Foundation."},{"key":"3_CR16","unstructured":"Shapiro, E.Y.: Inductive Inference of Theories From Facts, YALEU\/DCS\/TR-192, 1981."},{"key":"3_CR17","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0743-1066(84)90021-9","volume":"1","author":"E.Y. Shapiro","year":"1984","unstructured":"Shapiro, E.Y.: Alternation and the computational complexity of logic programs, J. Logic Program., 1, 19\u201333, 1984.","journal-title":"J. Logic Program."},{"key":"3_CR18","unstructured":"Shinohara, T.: Polynomial time inference of pattern languages and its applications, Proc. 7th IBM Symposium on Mathematical Foundations of Computer Science, 191\u2013209, 1982."},{"key":"3_CR19","first-page":"115","volume":"147","author":"T. Shinohara","year":"1983","unstructured":"Shinohara, T.: Polynomial time inference of extended regular pattern languages, LNCS, 147, 115\u2013127, 1983.","journal-title":"LNCS"},{"key":"3_CR20","first-page":"83","volume":"20","author":"T. Shinohara","year":"1983","unstructured":"Shinohara, T.: Inferring unions of two pattern languages, Bull. Inf. Cybern., 20, 83\u201388, 1983.","journal-title":"Bull. Inf. Cybern."},{"key":"3_CR21","first-page":"9","volume":"22","author":"T. Shinohara","year":"1986","unstructured":"Shinohara, T.: Inductive inference of formal systems from positive data, Bull. Inf. Cybern., 22, 9\u201318, 1986.","journal-title":"Bull. Inf. Cybern."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Shinohara, T.: Inductive inference from positive data is powerful, Proc. 3rd Workshop Comput. Learning Theory, 97\u2013110, 1990 (to appear in Information and Computation as \u201cRich classes inferable from positive data: length-bounded elementary formal systems\u201d).","DOI":"10.1016\/B978-1-55860-146-8.50010-2"},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/BF03037094","volume":"8","author":"T. Shinohara","year":"1991","unstructured":"Shinohara, T.: Inductive inference of monotonic formal systems from positive data, New Gener. Comput., 8, 371\u2013384, 1991.","journal-title":"New Gener. Comput."},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Smullyan, R. M.: Theory of Formal Systems, Princeton Univ. Press, 1961.","DOI":"10.1515\/9781400882007"},{"key":"3_CR25","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L.G. Valiant","year":"1984","unstructured":"Valiant, L.G.: A theory of learnable, CACM, 27, 1134\u20131142, 1984.","journal-title":"CACM"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Wright, K.: Identification of unions of languages drawn from an identifiable class, Proc. 2nd Workshop Comput. Learning Theory, 328\u2013333, 1989.","DOI":"10.1016\/B978-0-08-094829-4.50026-X"},{"key":"3_CR27","unstructured":"Yamamoto, A.: Elementary formal system as a logic programming language, Proc. Logic Program. Conf. '89, ICOT, 123\u2013132, 1989."}],"container-title":["Lecture Notes in Computer Science","Nonmonotonic and Inductive Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030388.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T11:57:08Z","timestamp":1736251028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030388"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540564330"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0030388","relation":{},"subject":[]}}