{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:42:11Z","timestamp":1725489731074},"publisher-location":"Dordrecht","reference-count":52,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402061264"},{"type":"electronic","value":"9781402061271"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-1-4020-6127-1_1","type":"book-chapter","created":{"date-parts":[[2007,8,20]],"date-time":"2007-08-20T08:00:48Z","timestamp":1187596848000},"page":"1-24","source":"Crossref","is-referenced-by-count":1,"title":["Introduction to the Philosophy and Mathematics of Algorithmic Learning Theory"],"prefix":"10.1007","author":[{"given":"Valentina S.","family":"Harizanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norma B.","family":"Goethe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mich\u00e8le","family":"Friend","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_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. (1980). \u201cInductive Inference of Formal Languages from Positive Data\u201d, Information and Control 45, 117\u2013135.","journal-title":"Information and Control"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/356914.356918","volume":"15","author":"D. Angluin","year":"1983","unstructured":"Angluin, D. and Smith, C.H. (1983). \u201cInductive Inference: Theory and Methods\u201d, Computing Surveys 15, 237\u2013269.","journal-title":"Computing Surveys"},{"unstructured":"Baliga, G., Case, J., Merkle, W. and Stephan, F. (2000). \u201cUnlearning Helps\u201d, in Montanari, U., Rolim, J.D.P. and Welzl, E. [35], 844\u2013855.","key":"1_CR3"},{"key":"1_CR4","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. and Blum, M. (1975). \u201cToward a Mathematical Theory of Inductive Inference\u201d, Information and Control 28, 125\u2013155.","journal-title":"Information and Control"},{"unstructured":"Carlucci, L., Case, J., Jain, S. and Stephan, F. (forth.). \u201cU-Shaped Learning May Be Necessary\u201d, Journal of Computer and System Sciences.","key":"1_CR5"},{"key":"1_CR6","volume-title":"Logical Foundations of Probability","author":"R. Carnap","year":"1950","unstructured":"Carnap, R. (1950). Logical Foundations of Probability, Chicago: University of Chicago Press."},{"unstructured":"Case, J. and Lynes, C. (1982). \u201cMachine Inductive Inference and Language Identification\u201d, in Nielsen, M. and Schmidt, E.M. [39], 107\u2013115.","key":"1_CR7"},{"unstructured":"Case, J. and Ngo Manguelle, S. (1979). \u201cRefinements of Inductive Inference by Popperian Machines\u201d, Technical Report 152, Buffalo: State University of New York at Buffalo.","key":"1_CR8"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0304-3975(83)90061-0","volume":"25","author":"J. Case","year":"1983","unstructured":"Case, J. and Smith, C. (1983). \u201cComparison of Identification Criteria for Machine Inductive Inference\u201d, Theoretical Computer Science 25, 193\u2013220.","journal-title":"Theoretical Computer Science"},{"key":"1_CR10","volume-title":"Aspects of the Theory of Syntax","author":"N. Chomsky","year":"1965","unstructured":"Chomsky, N. (1965). Aspects of the Theory of Syntax, Cambridge (Mass.): MIT Press."},{"volume-title":"Philosophy of Science: The Central Issues","year":"1998","unstructured":"Curd, M. and Cover, J.A. (eds.) (1998). Philosophy of Science: The Central Issues, New York: W.W. Norton.","key":"1_CR11"},{"key":"1_CR12","volume-title":"Against Method","author":"P. Feyerabend","year":"1975","unstructured":"Feyerabend, P. (1975). Against Method, London: Verso."},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1016\/S0022-0000(05)80072-8","volume":"49","author":"M. Fulk","year":"1994","unstructured":"Fulk, M., Jain, S. and Osherson, D.N. (1994). \u201cOpen Problems in \u2018Systems That Learn\u2019\u201d, Journal of Computer and System Sciences 49, 589\u2013604.","journal-title":"Journal of Computer and System Sciences"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1086\/289255","volume":"52","author":"R. Giere","year":"1985","unstructured":"Giere, R. (1985) \u201cPhilosophy of Science Naturalized\u201d, Philosophy of Science 52, 331\u2013356.","journal-title":"Philosophy of Science"},{"key":"1_CR15","volume-title":"Theory and Evidence","author":"C. Glymour","year":"1980","unstructured":"Glymour, C. (1980). Theory and Evidence, Princeton: Princeton University Press."},{"key":"1_CR16","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. (1967). \u201cLanguage Identification in the Limit\u201d, Information and Control 10, 447\u2013474.","journal-title":"Information and Control"},{"key":"1_CR17","volume-title":"Fact, Fiction, and Forecast","author":"N. Goodman","year":"1983","unstructured":"Goodman, N. (1983). Fact, Fiction, and Forecast, 4th ed., Cambridge (Mass.): Harvard University Press.","edition":"4th ed"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.jcss.2006.09.001","volume":"73","author":"V.S. Harizanov","year":"2007","unstructured":"Harizanov, V.S. and Stephan, F. (2007). \u201cOn the Learnability of Vector Spaces\u201d, Journal of Computer and System Sciences 73, 109\u2013122.","journal-title":"Journal of Computer and System Sciences"},{"unstructured":"Hull, D., Forbes, M. and Burian, R. (eds.) (1994). Proceedings of the 1994 Biennial Meeting of the Philosophy of Science Association, East Lansing: Philosophy of Science Association.","key":"1_CR19"},{"unstructured":"Hume, D. (1984). An Inquiry Concerning Human Understanding, Hendell, C. (ed.), New York: Bobbs-Merrill.","key":"1_CR20"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0890-5401(03)00082-8","volume":"185","author":"S. Jain","year":"2003","unstructured":"Jain, S. and Stephan, F. (2003). \u201cLearning by Switching Type of Information\u201d, Information and Computation 185, 89\u2013104.","journal-title":"Information and Computation"},{"key":"1_CR22","doi-asserted-by":"crossref","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. and Sharma, A. (1999). Systems That Learn: An Introduction to Learning Theory, 2nd ed., Cambridge (Mass.): MIT Press.","edition":"2nd ed"},{"doi-asserted-by":"crossref","unstructured":"Jantke, K.P., Kobayashi, S., Tomita, E. and Yokomori, T. (eds.) (1993). Algorithmic Learning Theory: Proceedings of the 4th International Workshop, Lecture Notes in Computer Science 744, Berlin: Springer-Verlag.","key":"1_CR23","DOI":"10.1007\/3-540-57370-4"},{"key":"1_CR24","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091953.001.0001","volume-title":"The Logic of Reliable Inquiry","author":"K.T. Kelly","year":"1996","unstructured":"Kelly, K.T. (1996). The Logic of Reliable Inquiry, Oxford: Oxford University Press."},{"doi-asserted-by":"crossref","unstructured":"Kelly, K.T. (2000). \u201cThe Logic of Success\u201d, The British Journal for the Philosophy of Science, Special Millennium Issue 51, 639\u2013666.","key":"1_CR25","DOI":"10.1093\/bjps\/51.4.639"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.tcs.2003.12.013","volume":"317","author":"K.T. Kelly","year":"2004","unstructured":"Kelly, K.T. (2004). \u201cUncomputability: The Problem of Induction Internalized\u201d, Theoretical Computer Science 317, 227\u2013249.","journal-title":"Theoretical Computer Science"},{"unstructured":"Kelly, K. and Juhl, C. (1994). \u201cRealism, Convergence, and Additivity\u201d, in Hull, D., Forbes, M. and Burian, R. [19], 181\u2013190.","key":"1_CR27"},{"key":"1_CR28","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171472","volume-title":"Proofs and Refutations","author":"I. Lakatos","year":"1976","unstructured":"Lakatos, I. (1976). Proofs and Refutations, Cambridge: Cambridge University Press."},{"unstructured":"Lakatos, I. (1998). \u201cScience or Pseudo-Science\u201d, in Curd, M. and Cover, J.A [11], 20\u201326.","key":"1_CR29"},{"unstructured":"Laudan, L. (1980). \u201cWhy Was the Logic of Discovery Abandoned?\u201d, in Nickles, T. [38], 173\u2013183.","key":"1_CR30"},{"key":"1_CR31","volume-title":"Elements of Scientific Inquiry","author":"E. Martin","year":"1998","unstructured":"Martin, E. and Osherson, D. (1998). Elements of Scientific Inquiry, Cambridge (Mass.): MIT Press."},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/S0304-3975(02)00422-X","volume":"298","author":"W. Merkle","year":"2003","unstructured":"Merkle, W. and Stephan, F. (2003). \u201cRefuting Learning Revisited\u201d, Theoretical Computer Science 298, 145\u2013177.","journal-title":"Theoretical Computer Science"},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/0304-3975(76)90087-6","volume":"2","author":"E. Minicozzi","year":"1976","unstructured":"Minicozzi, E. (1976). \u201cSome Natural Properties of Strong-Identification in Inductive Inference\u201d, Theoretical Computer Science 2, 345\u2013360.","journal-title":"Theoretical Computer Science"},{"key":"1_CR34","volume-title":"Machine Learning","author":"T.M. Mitchell","year":"1997","unstructured":"Mitchell, T.M. (1997). Machine Learning, New York: McGraw-Hill."},{"unstructured":"Montanari, U., Rolim, J.D.P. and Welzl, E. (eds.) (2000). Automata, Languages and Programming. Proceedings of the 27th International Colloquium(ICALP 2000), Lecture Notes in Computer Science 1853, Berlin: Springer-Verlag.","key":"1_CR35"},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1002\/1521-3870(200111)47:4<513::AID-MALQ513>3.0.CO;2-J","volume":"47","author":"M. Mostowski","year":"2001","unstructured":"Mostowski, M. (2001). \u201cOn Representing Concepts in Finite Models\u201d, Mathematical Logic Quarterly 47, 513\u2013523.","journal-title":"Mathematical Logic Quarterly"},{"unstructured":"Mukouchi, Y. and Arikawa, S. (1993). \u201cInductive Inference Machines That Can Refute Hypothesis Spaces\u201d, in Jantke, K.P., Kobayashi, S., Tomita, E. and Yokomori, T. [23], 123\u2013136.","key":"1_CR37"},{"volume-title":"Scientific Discovery, Logic, and Rationality","year":"1980","unstructured":"Nickles, T. (ed.) (1980). Scientific Discovery, Logic, and Rationality, Dordrectht: Reidel.","key":"1_CR38"},{"doi-asserted-by":"crossref","unstructured":"Nielsen, M. and Schmidt, E.M. (eds.) (1982). Automata, Languages and Programming: Proceedings of the 9th International Colloquium, Lecture Notes in Computer Science 140, Berlin: Springer-Verlag.","key":"1_CR39","DOI":"10.1007\/BFb0012751"},{"key":"1_CR40","volume-title":"Classical Recursion Theory","author":"P. Odifreddi","year":"1989","unstructured":"Odifreddi, P. (1989). Classical Recursion Theory, Amsterdam: North-Holland."},{"key":"1_CR41","volume-title":"Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists","author":"D.N. Osherson","year":"1986","unstructured":"Osherson, D.N., Stob, M. and Weinstein, S. (1986). Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists, Cambridge (Mass.): MIT Press."},{"key":"1_CR42","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0019-9958(82)80025-9","volume":"52","author":"D.N. Osherson","year":"1982","unstructured":"Osherson, D.N. and Weinstein, S. (1982). \u201cCriteria of Language Learning\u201d, Information and Control 52, 123\u2013138.","journal-title":"Information and Control"},{"key":"1_CR43","volume-title":"Conjectures and Refutations: The Growth of Scientific Knowledge","author":"K. Popper","year":"1963","unstructured":"Popper, K. (1963). Conjectures and Refutations: The Growth of Scientific Knowledge, London: Routledge."},{"unstructured":"Putnam, H. (1963). \u201c\u2018Degree of Confirmation\u2019 and Inductive Logic\u201d, in Putnam, H. [47], 270\u2013292.","key":"1_CR44"},{"key":"1_CR45","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/2270581","volume":"30","author":"H. Putnam","year":"1965","unstructured":"Putnam, H. (1965). \u201cTrial and Error Predicates and the Solution to the Problem of Mostowski\u201d, Journal of Symbolic Logic 30, 49\u201357.","journal-title":"Journal of Symbolic Logic"},{"unstructured":"Putnam, H. (1975). \u201cProbability and Confirmation\u201d, in Putnam, H. [47], 293\u2013304.","key":"1_CR46"},{"key":"1_CR47","volume-title":"Mathematics, Matter, and Method","author":"H. Putnam","year":"1975","unstructured":"Putnam, H. (1975). Mathematics, Matter, and Method, Cambridge: Cambridge University Press."},{"unstructured":"Sch\u00e4fer-Richter, G. (1984). \u00dcber Eingabeabh\u00e4ngigkeit und Komplexit\u00e4t von Inferenz-strategien, Aachen, Germany: PhD Dissertation, Rheinisch-Westf\u00e4lische Techniche Hochschule.","key":"1_CR48"},{"key":"1_CR49","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1006\/jcss.1998.1568","volume":"56","author":"A. Sharma","year":"1998","unstructured":"Sharma, A. (1998). \u201cA Note on Batch and Incremental Learnability\u201d, Journal of Computer and System Sciences 56, 272\u2013276.","journal-title":"Journal of Computer and System Sciences"},{"key":"1_CR50","volume-title":"Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computably Generated Sets","author":"R.I. Soare","year":"1987","unstructured":"Soare, R.I. (1987). Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computably Generated Sets, Berlin: Springer-Verlag."},{"key":"1_CR51","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. and Ventsov, Yu. (2001). \u201cLearning Algebraic Structures from Text\u201d, Theoretical Computer Science 268, 221\u2013273.","journal-title":"Theoretical Computer Science"},{"key":"1_CR52","volume-title":"The Scientific Image","author":"B. Fraassen Van","year":"1981","unstructured":"Van Fraassen, B. (1981). The Scientific Image, Oxford: Clarendon Press."}],"container-title":["Induction, Algorithmic Learning Theory, and Philosophy"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-6127-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T13:29:40Z","timestamp":1708176580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-6127-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9781402061264","9781402061271"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-6127-1_1","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}