{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:25:14Z","timestamp":1744259114767,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642341052"},{"type":"electronic","value":"9783642341069"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34106-9_9","type":"book-chapter","created":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T05:56:27Z","timestamp":1349070987000},"page":"66-80","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Learning from Positive Data and Negative Counterexamples"],"prefix":"10.1007","author":[{"given":"Sanjay","family":"Jain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Efim","family":"Kinber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","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\u00a045, 117\u2013135 (1980)","journal-title":"Information and Control"},{"issue":"4","key":"9_CR2","first-page":"319","volume":"2","author":"D. Angluin","year":"1988","unstructured":"Angluin, D.: Queries and concept learning. Machine Learning\u00a02(4), 319\u2013342 (1988)","journal-title":"Machine Learning"},{"unstructured":"B\u0101rzdi\u0146\u0161, J.: Inductive inference of automata, functions and programs. In: Proceedings of the 20th International Congress of Mathematicians, Vancouver, pp. 455-460 (1974) (in Russian)","key":"#cr-split#-9_CR3.1"},{"unstructured":"English translation in American Mathematical Society Translations: Series 2 109, 107-112 (1977)","key":"#cr-split#-9_CR3.2"},{"doi-asserted-by":"crossref","unstructured":"Blumensath, A., Gr\u00e4del, E.: Automatic structures. In: 15th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 51\u201362. IEEE Computer Society (2000)","key":"9_CR4","DOI":"10.1109\/LICS.2000.855755"},{"issue":"5","key":"9_CR5","doi-asserted-by":"publisher","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\u00a010(5), 447\u2013474 (1967)","journal-title":"Information and Control"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1017\/S0305000900005596","volume":"11","author":"K. Hirsh-Pasek","year":"1984","unstructured":"Hirsh-Pasek, K., Treiman, R., Schneiderman, M.: Brown and Hanlon revisited: Mothers\u2019 sensitivity to ungrammatical forms. Journal of Child Language\u00a011, 81\u201388 (1984)","journal-title":"Journal of Child Language"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1016\/j.jcss.2007.06.012","volume":"74","author":"S. Jain","year":"2008","unstructured":"Jain, S., Kinber, E.: Learning languages from positive data and negative counterexamples. Journal of Computer and System Sciences\u00a074(4), 431\u2013456 (2008); Special Issue: Carl Smith memorial issue","journal-title":"Journal of Computer and System Sciences"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-642-13089-2_27","volume-title":"Language and Automata Theory and Applications","author":"S. Jain","year":"2010","unstructured":"Jain, S., Luo, Q., Stephan, F.: Learnability of Automatic Classes. In: Dediu, A.-H., Fernau, H., Mart\u00edn-Vide, C. (eds.) LATA 2010. LNCS, vol.\u00a06031, pp. 321\u2013332. Springer, Heidelberg (2010)"},{"unstructured":"Jain, S., Ong, Y.S., Pu, S., Stephan, F.: On automatic families. In: Arai, T., Feng, Q., Kim, B., Wu, G., Yang, Y. (eds.) Proceedings of the 11th Asian Logic Conference, in Honor of Professor Chong Chitat\u2019s 60th Birthday, 2009, pp. 94\u2013113. World Scientific (2011)","key":"9_CR9"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/3-540-60178-3_93","volume-title":"Logic and Computational Complexity","author":"B. Khoussainov","year":"1995","unstructured":"Khoussainov, B., Nerode, A.: Automatic Presentations of Structures. In: Leivant, D. (ed.) LCC 1994. LNCS, vol.\u00a0960, pp. 367\u2013392. Springer, Heidelberg (1995)"},{"doi-asserted-by":"crossref","unstructured":"Lange, S., Zeugmann, T.: Language learning in dependence on the space of hypotheses. In: Proceedings of the Sixth Annual Conference on Computational Learning Theory, pp. 127\u2013136. ACM Press (1993)","key":"9_CR11","DOI":"10.1145\/168304.168320"},{"issue":"1-2","key":"9_CR12","first-page":"93","volume":"12","author":"R. Wiehagen","year":"1976","unstructured":"Wiehagen, R.: Limes-Erkennung rekursiver Funktionen durch spezielle Strategien. Journal of Information Processing and Cybernetics (EIK)\u00a012(1-2), 93\u201399 (1976)","journal-title":"Journal of Information Processing and Cybernetics (EIK)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/BFb0023324","volume-title":"Nonmonotonic and Inductive Logic","author":"R. Wiehagen","year":"1991","unstructured":"Wiehagen, R.: A Thesis in Inductive Inference. In: Dix, J., Jantke, K., Schmitt, P. (eds.) NIL 1990. LNCS, vol.\u00a0543, pp. 184\u2013207. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34106-9_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T20:50:57Z","timestamp":1744231857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34106-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642341052","9783642341069"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34106-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}