{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:29:51Z","timestamp":1743125391926,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428756"},{"type":"electronic","value":"9783540455837"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45583-3_27","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T08:37:04Z","timestamp":1192783024000},"page":"364-377","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Inference of \u03c9-Languages from Prefixes"],"prefix":"10.1007","author":[{"given":"Colin","family":"de la Higuera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janodet","family":"Jean-Christophe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,31]]},"reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"B. Alpern, A. J. Demers and F. B. Schneider. Defining Liveness. Information Processing Letters 21, 181\u2013185, 1985.","journal-title":"Information Processing Letters"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/S0019-9958(78)90683-6","volume":"39","author":"D. Angluin","year":"1978","unstructured":"D. Angluin. On the Complexity of Minimum Inference of Regular Sets. Information and Control 39, 337\u2013350, 1978.","journal-title":"Information and Control"},{"issue":"3\u20134","key":"27_CR3","first-page":"375","volume":"14","author":"M. Bernard","year":"2001","unstructured":"M. Bernard and C. de la Higuera. Apprentissage de Programmes Logiques par Inference Grammaticale, Revue d\u2019Intelligence Artificielle, 14\/3\u20134, 375\u2013396, 2001.","journal-title":"Revue d\u2019Intelligence Artificielle"},{"key":"27_CR4","unstructured":"J. R. B\u00fcchi. On a decision method in restricted second order arithmetic. Proc. Cong. Logic Method and Philos. Of Sci., Stanford Univ. Press, California, 1960."},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1016\/S0019-9958(78)90562-4","volume":"37","author":"M. E. Gold","year":"1978","unstructured":"M. E. Gold. Complexity of Automaton Identification from Given Data, Information and Control, 37, 302\u2013320, 1978.","journal-title":"Information and Control"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"C. de la Higuera, J. Oncina and E. Vidal. Identification of dfa\u2019s:data dependant vs dataindependant algorithms,.in Proceedings of ICGI\u2019 96, LNAI 1147, Springer-Verlag, 1996.","DOI":"10.1007\/BFb0033365"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1007353007695","volume":"27","author":"C. Higuera de la","year":"1997","unstructured":"C. de la Higuera. Characteristic Sets for Polynomial Grammatical Inference, Machine Learning 27, 125\u2013138, 1997.","journal-title":"Machine Learning"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"K. Lang, B. A. Pearlmutter and R. A. Price. Results of the Abbadingo One DFA Learning Competition and a New Evidence-Driven State Merging Algorithm, in Grammatical Inference, Proceedings of ICGI\u2019 98, LNAI 1433, Springer Verlag, 1\u201312, 1998.","DOI":"10.1007\/BFb0054059"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"O. Maler and A. Pnueli. On the Learnability of Infinitary Regular Sets, Proc. 4th COLT, 128\u2013136, Morgan Kauffman, San Mateo, 1991.","DOI":"10.1016\/B978-1-55860-213-7.50015-8"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"J. Oncina and P. Garcia. Identifying Regular Languages in Polynomial Time, in Advances in Structural and Syntactic Pattern Recognition, H. Bunke ed., Series in Machine Perception and Artificial Intelligence 5, 99\u2013108, 1992.","DOI":"10.1142\/9789812797919_0007"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"R. J. Parekh and V. Honavar. On the relationship between Models for Learning in Helpful Environments, in Proceedings of ICGI 2000, LNAI 1891, Springer Verlag, 207\u2013220, 2000.","DOI":"10.1007\/978-3-540-45257-7_17"},{"key":"27_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Learning Local and Recognizable \u00f9-languages and Monadic Logic Programs","author":"A. Saoudi","year":"1993","unstructured":"A. Saoudi and T. Yokomori. Learning Local and Recognizable \u00f9-languages and Monadic Logic Programs, in Proceedings of EUROCOLT, LNCS, Springer Verlag, 1993."},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"W. Thomas. Automata on infinite objects, Handbook of Theoretical Computer Science (Van Leewen ed.), 133\u2013191, North-Holland, Amsterdam, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0022-0000(86)90026-7","volume":"32","author":"M. Y. Vardi","year":"1986","unstructured":"M. Y. Vardi and P. Wolper. Automata-Theoretic Techniques in Modal Logics of Programs, Journal of Computer and Systems Science 32, 183\u2013221, 1986.","journal-title":"Journal of Computer and Systems Science"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45583-3_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T21:19:23Z","timestamp":1585603163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45583-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428756","9783540455837"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45583-3_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"31 October 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}