{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T18:43:32Z","timestamp":1757616212026,"version":"3.44.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031087394"},{"type":"electronic","value":"9783031087400"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-08740-0_9","type":"book-chapter","created":{"date-parts":[[2022,6,25]],"date-time":"2022-06-25T14:33:51Z","timestamp":1656167631000},"page":"103-114","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Maps of\u00a0Restrictions for\u00a0Behaviourally Correct Learning"],"prefix":"10.1007","author":[{"given":"Vanja","family":"Dosko\u010d","sequence":"first","affiliation":[]},{"given":"Timo","family":"K\u00f6tzing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,6,26]]},"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. Inf. Control 45, 117\u2013135 (1980)","journal-title":"Inf. Control"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1016\/j.ic.2007.10.005","volume":"206","author":"G Baliga","year":"2008","unstructured":"Baliga, G., Case, J., Merkle, W., Stephan, F., Wiehagen, R.: When unlearning helps. Inf. Comput. 206, 694\u2013709 (2008)","journal-title":"Inf. Comput."},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","volume":"28","author":"L Blum","year":"1975","unstructured":"Blum, L., Blum, M.: Toward a mathematical theory of inductive inference. Inf. Control 28, 125\u2013155 (1975)","journal-title":"Inf. Control"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2016.06.015","volume":"251","author":"J Case","year":"2016","unstructured":"Case, J., K\u00f6tzing, T.: Strongly non-U-shaped language learning results by general techniques. Inf. Comput. 251, 1\u201315 (2016)","journal-title":"Inf. Comput."},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BFb0012761","volume-title":"Automata, Languages and Programming","author":"J Case","year":"1982","unstructured":"Case, J., Lynes, C.: Machine inductive inference and language identification. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol. 140, pp. 107\u2013115. Springer, Heidelberg (1982). https:\/\/doi.org\/10.1007\/BFb0012761"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-030-80049-9_13","volume-title":"Connecting with Computability","author":"V Dosko\u010d","year":"2021","unstructured":"Dosko\u010d, V., K\u00f6tzing, T.: Mapping monotonic restrictions in inductive inference. In: De Mol, L., Weiermann, A., Manea, F., Fern\u00e1ndez-Duque, D. (eds.) CiE 2021. LNCS, vol. 12813, pp. 146\u2013157. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-80049-9_13"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-030-80049-9_14","volume-title":"Connecting with Computability","author":"V Dosko\u010d","year":"2021","unstructured":"Dosko\u010d, V., K\u00f6tzing, T.: Normal forms for semantically witness-based learners in inductive inference. In: De Mol, L., Weiermann, A., Manea, F., Fern\u00e1ndez-Duque, D. (eds.) CiE 2021. LNCS, vol. 12813, pp. 158\u2013168. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-80049-9_14"},{"key":"9_CR8","unstructured":"Dosko\u010d, V., K\u00f6tzing, T.: Cautious limit learning. In: Algorithmic Learning Theory (ALT), pp. 117:251\u2013117:276 (2020)"},{"issue":"3","key":"9_CR9","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1016\/S0022-0000(05)80072-8","volume":"49","author":"MA Fulk","year":"1994","unstructured":"Fulk, M.A., Jain, S., Osherson, D.N.: Open problems in \u201csystems that learn\u2019\u2019. J. Comput. Syst. Sci. 49(3), 589\u2013604 (1994)","journal-title":"J. Comput. Syst. Sci."},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold, E.M.: Language identification in the limit. Inf. Control 10, 447\u2013474 (1967)","journal-title":"Inf. Control"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1016\/j.ic.2015.12.005","volume":"247","author":"S Jain","year":"2016","unstructured":"Jain, S., K\u00f6tzing, T., Ma, J., Stephan, F.: On the role of update constraints and text-types in iterative learning. Inf. Comput. 247, 152\u2013168 (2016)","journal-title":"Inf. Comput."},{"key":"9_CR12","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/6610.001.0001","volume-title":"Systems that Learn: An Introduction to Learning Theory","author":"S Jain","year":"1999","unstructured":"Jain, S., Osherson, D., Royer, J.S., Sharma, A.: Systems that Learn: An Introduction to Learning Theory, 2nd edn. MIT Press, Cambridge (1999)","edition":"2"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/BF03037092","volume":"8","author":"K Jantke","year":"1991","unstructured":"Jantke, K.: Monotonic and non-monotonic inductive inference. N. Gener. Comput. 8, 349\u2013360 (1991)","journal-title":"N. Gener. Comput."},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1006\/inco.1995.1170","volume":"123","author":"EB Kinber","year":"1995","unstructured":"Kinber, E.B., Stephan, F.: Language learning from texts: mindchanges, limited memory, and monotonicity. Inf. Comput. 123, 224\u2013241 (1995)","journal-title":"Inf. Comput."},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.tcs.2016.07.028","volume":"650","author":"T K\u00f6tzing","year":"2016","unstructured":"K\u00f6tzing, T., Palenta, R.: A map of update constraints in inductive inference. Theoret. Comput. Sci. 650, 4\u201324 (2016)","journal-title":"Theoret. Comput. Sci."},{"key":"9_CR16","unstructured":"K\u00f6tzing, T., Schirneck, M.: Towards an atlas of computational learning theory. In: Symposium on Theoretical Aspects of Computer Science (STACS), pp. 47:1\u201347:13 (2016)"},{"key":"9_CR17","unstructured":"K\u00f6tzing, T., Schirneck, M., Seidel, K.: Normal forms in semantic language identification. In: Algorithmic Learning Theory (ALT), pp. 76:493\u201376:516 (2017)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/BFb0030397","volume-title":"Nonmonotonic and Inductive Logic","author":"S Lange","year":"1993","unstructured":"Lange, S., Zeugmann, T.: Monotonic versus non-monotonic language learning. In: Brewka, G., Jantke, K.P., Schmitt, P.H. (eds.) NIL 1991. LNCS, vol. 659, pp. 254\u2013269. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/BFb0030397"},{"key":"9_CR19","volume-title":"Systems that Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists","author":"D Osherson","year":"1986","unstructured":"Osherson, D., Stob, M., Weinstein, S.: Systems that Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists. MIT Press, Cambridge (1986)"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1016\/S0019-9958(82)91097-X","volume":"53","author":"DN Osherson","year":"1982","unstructured":"Osherson, D.N., Stob, M., Weinstein, S.: Learning strategies. Inf. Control 53, 32\u201351 (1982)","journal-title":"Inf. Control"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0019-9958(82)80025-9","volume":"52","author":"DN Osherson","year":"1982","unstructured":"Osherson, D.N., Weinstein, S.: Criteria of language learning. Inf. Control 52, 123\u2013138 (1982)","journal-title":"Inf. Control"},{"key":"9_CR22","unstructured":"Sch\u00e4fer-Richter, G.: \u00dcber eingabeabh\u00e4ngigkeit und komplexit\u00e4t von inferenzstrategien. Ph.D. thesis, RWTH Aachen University, Germany (1984)"},{"key":"9_CR23","volume-title":"Formal Principles of Language Acquisition","author":"K Wexler","year":"1980","unstructured":"Wexler, K., Culicover, P.W.: Formal Principles of Language Acquisition. MIT Press, Cambridge (1980)"},{"key":"9_CR24","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.P., Schmitt, P.H. (eds.) NIL 1990. LNCS, vol. 543, pp. 184\u2013207. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/BFb0023324"}],"container-title":["Lecture Notes in Computer Science","Revolutions and Revelations in Computability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-08740-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T17:11:37Z","timestamp":1757092297000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-08740-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031087394","9783031087400"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-08740-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"26 June 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CiE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Computability in Europe","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Swansea","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 July 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 July 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cs.swansea.ac.uk\/cie2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}