{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:35:44Z","timestamp":1725550544272},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292425"},{"type":"electronic","value":"9783540316961"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11564089_18","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T09:51:09Z","timestamp":1128937869000},"page":"211-225","source":"Crossref","is-referenced-by-count":0,"title":["Learning of Elementary Formal Systems with Two Clauses Using Queries"],"prefix":"10.1007","author":[{"given":"Hirotaka","family":"Kato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satoshi","family":"Matsumoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tetsuhiro","family":"Miyahara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/0022-0000(80)90041-0","volume":"21","author":"D. Angluin","year":"1980","unstructured":"Angluin, D.: Finding patterns common to a set of strings. Journal of Computer and System Science\u00a021, 46\u201362 (1980)","journal-title":"Journal of Computer and System Science"},{"key":"18_CR2","first-page":"319","volume":"2","author":"D. Angluin","year":"1988","unstructured":"Angluin, D.: Queries and concept learning. Machine Learning\u00a02, 319\u2013342 (1988)","journal-title":"Machine Learning"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.2206\/kyushumfs.24.47","volume":"24","author":"S. Arikawa","year":"1970","unstructured":"Arikawa, S.: Elementary formal systems and formal languages - simple formal systems. Memoirs of Faculty of Science, Kyushu University, Series A, Mathematics\u00a024, 47\u201375 (1970)","journal-title":"Memoirs of Faculty of Science, Kyushu University, Series A, Mathematics"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0304-3975(92)90068-Q","volume":"95","author":"S. Arikawa","year":"1992","unstructured":"Arikawa, S., Shinohara, T., Yamamoto, A.: Learning elementary formal systems. Theoretical Computer Science\u00a095, 97\u2013113 (1992)","journal-title":"Theoretical Computer Science"},{"key":"18_CR5","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/3-540-62685-9_16","volume-title":"Computational Learning Theory","author":"S. Matsumoto","year":"1997","unstructured":"Matsumoto, S., Shinohara, A.: Learning pattern languages using queries. In: Ben-David, S. (ed.) EuroCOLT 1997. LNCS (LNAI), vol.\u00a01208, pp. 185\u2013197. Springer, Heidelberg (1997)"},{"key":"18_CR6","first-page":"335","volume-title":"Information Modelling and Knowledge Bases VIII","author":"S. Matsumoto","year":"1997","unstructured":"Matsumoto, S., Shinohara, A., Arimura, H., Shinohara, T.: Learning subsequence languages. In: Information Modelling and Knowledge Bases VIII, pp. 335\u2013344. IOS Press, Amsterdam (1997)"},{"key":"18_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/3-540-36187-1_46","volume-title":"AI 2002: Advances in Artificial Intelligence","author":"S. Matsumoto","year":"2002","unstructured":"Matsumoto, S., Shoudai, T., Miyahara, T., Uchida, T.: Learning of finite unions of tree patterns with internal structured variables from queries. In: McKay, B., Slaney, J.K. (eds.) Canadian AI 2002. LNCS (LNAI), vol.\u00a02557, pp. 523\u2013534. Springer, Heidelberg (2002)"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0304-3975(02)00417-6","volume":"298","author":"H. Sakamoto","year":"2003","unstructured":"Sakamoto, H., Hirata, K., Arimura, H.: Learning elementary formal systems with queries. Theoretical Computer Science\u00a0298, 21\u201350 (2003)","journal-title":"Theoretical Computer Science"},{"key":"18_CR9","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/3-540-49730-7_17","volume-title":"Algorithmic Learning Theory","author":"M. Sato","year":"1998","unstructured":"Sato, M., Mukouchi, Y., Zheng, D.: Characteristic sets for unions of regular pattern languages and compactness. In: Richter, M.M., Smith, C.H., Wiehagen, R., Zeugmann, T. (eds.) ALT 1998. LNCS (LNAI), vol.\u00a01501, pp. 220\u2013233. Springer, Heidelberg (1998)"},{"key":"18_CR10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.5109\/13373","volume":"22","author":"T. Shinohara","year":"1986","unstructured":"Shinohara, T.: Inductive inference of formal systems from positive data. Bulletin of Informatics and Cybernetics\u00a022, 9\u201318 (1986)","journal-title":"Bulletin of Informatics and Cybernetics"},{"key":"18_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-39624-6_8","volume-title":"Algorithmic Learning Theory","author":"J. Uemura","year":"2003","unstructured":"Uemura, J., Sato, M.: Learning of erasing primitive formal systems from positive examples. In: Gavald\u00e1, R., Jantke, K.P., Takimoto, E. (eds.) ALT 2003. LNCS (LNAI), vol.\u00a02842, pp. 69\u201383. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11564089_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T09:18:52Z","timestamp":1626599932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11564089_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292425","9783540316961"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11564089_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}