{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:29:41Z","timestamp":1725488981819},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001706"},{"type":"electronic","value":"9783540361695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36169-3_20","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T00:27:32Z","timestamp":1186878452000},"page":"233-247","source":"Crossref","is-referenced-by-count":1,"title":["On the Learnability of Vector Spaces"],"prefix":"10.1007","author":[{"given":"Valentina S.","family":"Harizanov","sequence":"first","affiliation":[]},{"given":"Frank","family":"Stephan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,8]]},"reference":[{"issue":"3","key":"20_CR1","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2275058","volume":"56","author":"L. Adleman","year":"1991","unstructured":"Lenny Adleman and Manuel Blum. Inductive inference and unsolvability. The Journal of Symbolic Logic, 56(3):891\u2013900, 1991.","journal-title":"The Journal of Symbolic Logic"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Dana Angluin. Learning regular sets from queries and counter-examples. Information and Computation, 75:87\u2013106, 1987.","journal-title":"Information and Computation"},{"issue":"5","key":"20_CR3","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1006\/jcss.1995.1066","volume":"51","author":"G. Baliga","year":"1995","unstructured":"Ganesh Baliga, John Case and Sanjay Jain. Language learning with some negative information. Journal of Computer and System Sciences, 51(5):273\u2013285, 1995.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"20_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2273783","volume":"50","author":"R. G. Downey","year":"1985","unstructured":"Rod G. Downey and Geoffrey R. Hird, Automorphisms of supermaximal spaces. The Journal of Symbolic Logic, 50(1):1\u20139, 1985.","journal-title":"The Journal of Symbolic Logic"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1016\/S0049-237X(98)80048-7","volume":"2","author":"R. G. Downey","year":"1998","unstructured":"Rod G. Downey and Jeffrey B. Remmel, Computable algebras and closure systems: coding properties. In: Handbook of Recursive Mathematics, volume 2, pages 977\u20131039. Elsevier, Amsterdam, 1998.","journal-title":"Handbook of Recursive Mathematics"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0168-0072(94)90035-3","volume":"66","author":"L. Fortnow","year":"1994","unstructured":"Lance Fortnow, William Gasarch, Sanjay Jain, Efim Kinber, Martin Kummer, Stuart Kurtz, Mark Pleszkoch, Theodore Slaman, Robert Solovay and Frank Stephan. Extremes in the degrees of inferability. Annals of Pure and Applied Logic, 66:231\u2013276, 1994.","journal-title":"Annals of Pure and Applied Logic"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. M. Gold","year":"1967","unstructured":"E. Mark Gold. Language identification in the limit. Information and Control, 10: 447\u2013474, 1967.","journal-title":"Information and Control"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0168-0072(93)90150-C","volume":"63","author":"G. R. Hird","year":"1993","unstructured":"Geoffrey R. Hird. Recursive properties of relations on models. Annals of Pure and Applied Logic, 63:241\u2013269, 1993.","journal-title":"Annals of Pure and Applied Logic"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0020-0190(93)90229-3","volume":"47","author":"S. Jain","year":"1993","unstructured":"Sanjay Jain and Arun Sharma. On the non-existence of maximal inference degrees for language identification. Information Processing Letters, 47:81\u201388, 1993.","journal-title":"Information Processing Letters"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Sanjay Jain and Frank Stephan. Learning by switching type of information. In: Algorithmic Learning Theory: Twelfth International Conference (ALT 2001), volume 2225 of Lecture Notes in Artificial Intelligence, pages 205\u2013218. Springer-Verlag, Heidelberg, 2001.","DOI":"10.1007\/3-540-45583-3_17"},{"issue":"4","key":"20_CR11","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/2271869","volume":"42","author":"I. Kalantari","year":"1977","unstructured":"Iraj Kalantari and Allen Retzlaff. Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces. The Journal of Symbolic Logic, 42(4):481\u2013491, 1977.","journal-title":"The Journal of Symbolic Logic"},{"key":"20_CR12","unstructured":"Michael Machtey and Paul Young. An Introduction to the General Theory of Algorithms. North Holland, New York, 1978."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Wolfgang Merkle and Frank Stephan. Refuting learning revisited. Technical Report Forschungsberichte Mathematische Logik 52\/2001, Mathematisches Institut, Universit\u00e4t Heidelberg, 2001.","DOI":"10.1007\/3-540-45583-3_23"},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0003-4843(77)90015-8","volume":"11","author":"G. Metakides","year":"1977","unstructured":"George Metakides and Anil Nerode, Recursively enumerable vector spaces. Annals of Mathematical Logic, 11:147\u2013171, 1977.","journal-title":"Annals of Mathematical Logic"},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/0021-8693(80)90237-9","volume":"65","author":"G. Metakides","year":"1980","unstructured":"George Metakides and Anil Nerode, Recursion theory on fields and abstract dependence. Journal of Algebra, 65:36\u201359, 1980.","journal-title":"Journal of Algebra"},{"issue":"4","key":"20_CR16","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0020-0190(91)90176-I","volume":"39","author":"T. Motoki","year":"1991","unstructured":"Tatsuya Motoki. Inductive inference from all positive and some negative data. Information Processing Letters, 39(4):177\u2013182, 1991.","journal-title":"Information Processing Letters"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Anil Nerode and Jeffrey Remmel, Recursion theory on matroids. In: Patras Logic Symposium, Studies in Logic and the Foundations of Mathematics, volume 109, pages 41\u201365. North-Holland, 1982.","DOI":"10.1016\/S0049-237X(08)71356-9"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Anil Nerode and Jeffrey Remmel, Recursion theory on matroids II. In: Southeast Asian Conference on Logic, pages 133\u2013184. North-Holland, 1983.","DOI":"10.1016\/S0049-237X(08)70960-1"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Anil Nerode and Jeffrey Remmel, A survey of lattices of r.e. substructures. In: Proceedings of Symposia in Pure Mathematics, volume 42, pages 323\u2013375. American Mathematical Society, 1985.","DOI":"10.1090\/pspum\/042\/791067"},{"key":"20_CR20","unstructured":"Piergiorgio Odifreddi. Classical Recursion Theory. North-Holland, Amsterdam, 1989."},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Daniel Osherson, Michael Stob and Scott Weinstein. Systems that Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists. MIT Press, 1986.","DOI":"10.7551\/mitpress\/6609.001.0001"},{"key":"20_CR22","unstructured":"Hartley Rogers. Theory of Recursive Functions and Effective Computability. McGraw-Hill, 1967. Reprinted, MIT Press, 1987."},{"issue":"3","key":"20_CR23","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1006\/jcss.1998.1568","volume":"56","author":"A. Sharma","year":"1998","unstructured":"Arun Sharma. A note on batch and incremental learnability. Journal of Computer and System Sciences, 56(3):272\u2013276, 1998.","journal-title":"Journal of Computer and System Sciences"},{"key":"20_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees","author":"R. I. Soare","year":"1987","unstructured":"Robert I. Soare. Recursively Enumerable Sets and Degrees. Springer-Verlag, Heidelberg, 1987."},{"key":"20_CR25","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0304-3975(00)00272-3","volume":"268","author":"F. Stephan","year":"2001","unstructured":"Frank Stephan and Yuri Ventsov. Learning Algebraic Structures from Text using Semantical Knowledge. Theoretical Computer Science-Series A, 268:221\u2013273, 2001.","journal-title":"Theoretical Computer Science-Series A"},{"key":"20_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1007\/3-540-08353-7_182","volume-title":"Mathematical Foundations of Computer Science","author":"R. Wiehagen","year":"1977","unstructured":"Rolf Wiehagen. Identification of formal languages. In: Mathematical Foundations of Computer Science, volume 53 of Lecture Notes in Computer Science, pages 571\u2013579. Springer-Verlag, 1977."},{"key":"20_CR27","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1215\/S0012-7094-65-03247-3","volume":"32","author":"C. E. M. Yates","year":"1965","unstructured":"C. E. M. Yates. Three theorems on the degree of recursively enumerable degrees. Duke Mathematical Journal, 32:461\u2013468, 1965.","journal-title":"Duke Mathematical Journal"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36169-3_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T16:18:18Z","timestamp":1587831498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36169-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001706","9783540361695"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-36169-3_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}