{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T07:53:57Z","timestamp":1768463637747,"version":"3.49.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031643088","type":"print"},{"value":"9783031643095","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-64309-5_14","type":"book-chapter","created":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T22:01:49Z","timestamp":1719871309000},"page":"166-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Learning Families of\u00a0Algebraic Structures from\u00a0Text"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5834-2770","authenticated-orcid":false,"given":"Nikolay","family":"Bazhenov","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4598-458X","authenticated-orcid":false,"given":"Ekaterina","family":"Fokina","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3494-9049","authenticated-orcid":false,"given":"Dino","family":"Rossegger","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4392-4284","authenticated-orcid":false,"given":"Alexandra","family":"Soskova","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5719-1467","authenticated-orcid":false,"given":"Stefan","family":"Vatev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,7,2]]},"reference":[{"key":"14_CR1","unstructured":"Ash, C.J., Knight, J.F.: Computable Structures and the Hyperarithmetical Hierarchy. Studies in Logic and the Foundations of Mathematics, vol.\u00a0144. Elsevier Science B.V. (2000)"},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s10469-021-09639-7","volume":"60","author":"NA Bazhenov","year":"2021","unstructured":"Bazhenov, N.A., Ganchev, H., Vatev, S.: Computable embeddings for pairs of linear orders. Algebra Logic 60(3), 163\u2013187 (2021). https:\/\/doi.org\/10.1007\/s10469-021-09639-7","journal-title":"Algebra Logic"},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"Bazhenov, N., Cipriani, V., San\u00a0Mauro, L.: Learning algebraic structures with the help of Borel equivalence relations. Theor. Comput. Sci. 951 (2023). https:\/\/doi.org\/10.1016\/j.tcs.2023.113762","DOI":"10.1016\/j.tcs.2023.113762"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Bazhenov, N., Fokina, E., Rossegger, D., Soskova, A.A., Vatev, S.V.: A Lopez-Escobar theorem for continuous domains (2023). http:\/\/arxiv.org\/abs\/2301.09940","DOI":"10.1017\/jsl.2024.18"},{"key":"14_CR5","doi-asserted-by":"publisher","unstructured":"Bazhenov, N., Fokina, E., San\u00a0Mauro, L.: Learning families of algebraic structures from informant. Inf. Comput. 275, 104590 (2020). https:\/\/doi.org\/10.1016\/j.ic.2020.104590","DOI":"10.1016\/j.ic.2020.104590"},{"issue":"7","key":"14_CR6","doi-asserted-by":"publisher","first-page":"1891","DOI":"10.1093\/logcom\/exab044","volume":"31","author":"N Bazhenov","year":"2021","unstructured":"Bazhenov, N., San Mauro, L.: On the Turing complexity of learning finite families of algebraic structures. J. Log. Comput. 31(7), 1891\u20131900 (2021). https:\/\/doi.org\/10.1093\/logcom\/exab044","journal-title":"J. Log. Comput."},{"issue":"6","key":"14_CR7","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1023\/B:ALLO.0000048827.30718.2c","volume":"43","author":"W Calvert","year":"2004","unstructured":"Calvert, W., Cummins, D., Knight, J.F., Miller, S.: Comparing classes of finite structures. Algebra Logic 43(6), 374\u2013392 (2004). https:\/\/doi.org\/10.1023\/B:ALLO.0000048827.30718.2c","journal-title":"Algebra Logic"},{"issue":"4","key":"14_CR8","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1016\/0003-4843(71)90003-9","volume":"2","author":"J Case","year":"1971","unstructured":"Case, J.: Enumeration reducibility and partial degrees. Ann. Math. Logic 2(4), 419\u2013439 (1971). https:\/\/doi.org\/10.1016\/0003-4843(71)90003-9","journal-title":"Ann. Math. Logic"},{"key":"14_CR9","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BFb0086114","volume-title":"Recursion Theory Week","author":"SB Cooper","year":"1990","unstructured":"Cooper, S.B.: Enumeration reducibility, nondeterministic computations and relative computability of partial functions. In: Ambos-Spies, K., M\u00fcller, G.H., Sacks, G.E. (eds.) Recursion Theory Week. LNM, vol. 1432, pp. 57\u2013110. Springer, Heidelberg (1990). https:\/\/doi.org\/10.1007\/BFb0086114"},{"key":"14_CR10","unstructured":"Fokina, E., K\u00f6tzing, T., San\u00a0Mauro, L.: Limit learning equivalence structures. In: Garivier, A., Kale, S. (eds.) Proceedings of the 30th International Conference on Algorithmic Learning Theory. Proceedings of Machine Learning Research, vol.\u00a098, pp. 383\u2013403. PMLR (2019)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-27654-5_10","volume-title":"Computation, Physics and Beyond","author":"Z Gao","year":"2012","unstructured":"Gao, Z., Stephan, F., Wu, G., Yamamoto, A.: Learning families of closed sets in matroids. In: Dinneen, M.J., Khoussainov, B., Nies, A. (eds.) WTCS 2012. LNCS, vol. 7160, pp. 120\u2013139. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-27654-5_10"},{"issue":"5","key":"14_CR12","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(5), 447\u2013474 (1967). https:\/\/doi.org\/10.1016\/S0019-9958(67)91165-5","journal-title":"Inf. Control"},{"issue":"1","key":"14_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.jcss.2006.09.001","volume":"73","author":"VS Harizanov","year":"2007","unstructured":"Harizanov, V.S., Stephan, F.: On the learnability of vector spaces. J. Comput. Syst. Sci. 73(1), 109\u2013122 (2007). https:\/\/doi.org\/10.1016\/j.jcss.2006.09.001","journal-title":"J. Comput. Syst. Sci."},{"key":"14_CR14","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/6610.001.0001","volume-title":"Systems that Learn","author":"S Jain","year":"1999","unstructured":"Jain, S., Osherson, D., Royer, J.S., Sharma, A.: Systems that Learn. MIT Press, Cambridge (1999)"},{"issue":"3","key":"14_CR15","doi-asserted-by":"publisher","first-page":"901","DOI":"10.2178\/jsl\/1191333847","volume":"72","author":"JF Knight","year":"2007","unstructured":"Knight, J.F., Miller, S., Vanden Boom, M.: Turing computable embeddings. J. Symb. Log. 72(3), 901\u2013918 (2007). https:\/\/doi.org\/10.2178\/jsl\/1191333847","journal-title":"J. Symb. Log."},{"issue":"5","key":"14_CR16","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1023\/A:1026569206678","volume":"29","author":"E Martin","year":"2000","unstructured":"Martin, E., Osherson, D.: Scientific discovery on positive data via belief revision. J. Philos. Log. 29(5), 483\u2013506 (2000). https:\/\/doi.org\/10.1023\/A:1026569206678","journal-title":"J. Philos. Log."},{"issue":"1","key":"14_CR17","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/2270581","volume":"30","author":"H Putnam","year":"1965","unstructured":"Putnam, H.: Trial and error predicates and the solution to a problem of Mostowski. J. Symb. Log. 30(1), 49\u201357 (1965). https:\/\/doi.org\/10.2307\/2270581","journal-title":"J. Symb. Log."},{"key":"14_CR18","first-page":"45","volume":"96","author":"I Soskov","year":"2004","unstructured":"Soskov, I.: Degree spectra and co-spectra of structures. Ann. Sofia Univ. 96, 45\u201368 (2004)","journal-title":"Ann. Sofia Univ."},{"issue":"2","key":"14_CR19","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0304-3975(00)00272-3","volume":"268","author":"F Stephan","year":"2001","unstructured":"Stephan, F., Ventsov, Y.: Learning algebraic structures from text. Theor. Comput. Sci. 268(2), 221\u2013273 (2001). https:\/\/doi.org\/10.1016\/S0304-3975(00)00272-3","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Twenty Years of Theoretical and Practical Synergies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64309-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T22:03:15Z","timestamp":1719871395000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64309-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031643088","9783031643095"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64309-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"2 July 2024","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":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}