{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T20:10:02Z","timestamp":1773259802042,"version":"3.50.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1987,3,1]],"date-time":"1987-03-01T00:00:00Z","timestamp":541555200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1987,3,1]],"date-time":"1987-03-01T00:00:00Z","timestamp":541555200000},"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":["Machine Learning"],"published-print":{"date-parts":[[1987,3]]},"DOI":"10.1023\/a:1022812926936","type":"journal-article","created":{"date-parts":[[2003,4,4]],"date-time":"2003-04-04T16:57:10Z","timestamp":1049475430000},"page":"39-74","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Version Space Approach to Learning Context-free Grammars"],"prefix":"10.1007","volume":"2","author":[{"given":"Kurt","family":"Vanlehn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Ball","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"422907_CR1","unstructured":"Anderson, J.R.(1983).The architecture of cognition.Cambridge,MA: Harvard University Press."},{"key":"422907_CR2","doi-asserted-by":"crossref","unstructured":"Berwick, R.(1985).The acquisition of syntactic knowledge.Cambridge, MA: MIT Press.","DOI":"10.7551\/mitpress\/1074.001.0001"},{"key":"422907_CR3","doi-asserted-by":"crossref","unstructured":"Biermann, A.W.,& Feldman, J.A.(1972).A survey of results in grammat-ical inference.In S. Watanabe (Ed.),Frontiers of pattern recognition.New York: Academic Press.","DOI":"10.1016\/B978-0-12-737140-5.50007-5"},{"key":"422907_CR4","unstructured":"Cohen, P.R.,& Feigenbaum, E.A.(1983).The handbook of artificial intelligence.Los Altos,CA: Morgan Kaufmann."},{"key":"422907_CR5","doi-asserted-by":"crossref","unstructured":"Dietterich, T.G.(1986).Learning at the knowledge level.Machine Learn-ing,1,287-316.","DOI":"10.1007\/BF00116894"},{"key":"422907_CR6","unstructured":"Fodor, J.A.(1975).The language of thought.New York: Crowell."},{"key":"422907_CR7","doi-asserted-by":"crossref","unstructured":"Fu, K.,& Booth, T.(1975).Grammatical inference:Introduction and survey.IEEE Transactions on Systems,Man,and Cybernetics,595-111.","DOI":"10.1109\/TSMC.1975.5409159"},{"key":"422907_CR8","doi-asserted-by":"crossref","unstructured":"Gold, E.M.(1967).Language identification in the limit.Information and Control,10447-474.","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"422907_CR9","unstructured":"Gonzalez, R.C.,& Thomason, M.G.(1978).Syntactic pattern recognition.Reading,MA: Addison-Wesley."},{"key":"422907_CR10","unstructured":"Hopcroft, J.E.,& Ullman, J.D.(1969).Formal languages and their rela-tion to automata.Reading,MA: Addison-Wesley."},{"key":"422907_CR11","unstructured":"Hopcroft, J.E.,& Ullman, J.D.(1979).Introduction to automata theory, languages,and computation.Reading,MA: Addison-Wesley."},{"key":"422907_CR12","unstructured":"Horning, J.J.(1969).A study of grammatical inference(Technical Report CS-139).Stanford,CA: Stanford University,Department of Computer Science."},{"key":"422907_CR13","unstructured":"Langley, P.(1979).Rediscovering physics with BACON.3.In Proceedings of the Sixth International Joint Conference on Artificial Intelligence(pp.505-507).Tokyo,Japan: Morgan Kaufmann."},{"key":"422907_CR14","unstructured":"Langley, P.,& Carbonell, J.G.(1986).Language acquisition and machine learning.In B. MacWhinney (Ed.),Mechanisms of language acquisi-tion.Hillsdale,NJ: Lawrence Erlbaum."},{"key":"422907_CR15","doi-asserted-by":"crossref","unstructured":"Michalski, R.S.(1983).A theory and methodology of inductive inference. In R.S. Michalski, J.G. Carbonell,& T.M. Mitchell (Eds.),Machine learning:An artificial intelligence approach.Los Altos,CA: Morgan Kaufmann.","DOI":"10.1016\/0004-3702(83)90016-4"},{"key":"422907_CR16","doi-asserted-by":"crossref","unstructured":"Mitchell, T.M.(1982).Generalization as search.Artificial Intelligence, 18203-226.","DOI":"10.1016\/0004-3702(82)90040-6"},{"key":"422907_CR17","doi-asserted-by":"crossref","unstructured":"Newell, A.(1982).The knowledge level.Artificial Intelligence,18,87-127.","DOI":"10.1016\/0004-3702(82)90012-1"},{"key":"422907_CR18","unstructured":"Nowlan, S.(1987).Parse completion:A technique for inducing context-free grammars(Technical Report AIP-1).Pittsburgh,PA: Carnegie-Mellon University,Department of Psychology."},{"key":"422907_CR19","doi-asserted-by":"crossref","unstructured":"Osherson, D., Stob, M.,& Weinstein, S.(1985).Systems that learn.Cam-bridge,MA: Bradford Books\/MIT Press.","DOI":"10.7551\/mitpress\/6609.001.0001"},{"key":"422907_CR20","unstructured":"Pao, T.W.(1969).A solution of the syntactical induction-inference prob-lem for a non-trivial subset of context-free languages(Interim Report. 69-19).Philadelphia,PA: University of Pennsylvania,Moore School of Electrical Engineering."},{"key":"422907_CR21","first-page":"217","volume":"7","author":"S Pinker","year":"1979","unstructured":"Pinker, S.(1979).Formal models of language learning.Cognition7,217-283.","journal-title":"Formal models of language learning.Cognition"},{"key":"422907_CR22","unstructured":"Quinlan, J.R.(1986).The effect of noise on concept learning.In R.S. Michalski, J.G. Carbonell,& T.M. Mitchell (Eds.),Machine learning: An artificial intelligence approach(Vol.2).Los Altos,CA: Morgan Kaufmann."},{"key":"422907_CR23","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.(March 1968).Grammatical covering(Technical Memo-randum 96).Argonne National Laboratory.","DOI":"10.2172\/6280137"},{"key":"422907_CR24","unstructured":"VanLehn, K.(1983a).Human skill acquisition:Theory,model and psycho-logical validation.In Proceedings of the National Conference on Ar-tificial Intelligence(pp.420-423).Washington,D.C.: Morgan Kauf-mann."},{"key":"422907_CR25","unstructured":"VanLehn, K.(1983b).Felicity conditions for human skill acquisition:Val-idating an Al-based theory(Technical Report CIS-21).Palo Alto,CA: Xerox Palo Alto Research Center."},{"key":"422907_CR26","unstructured":"VanLehn, K.(1983c).The representation of procedures in repair theory. In H.P.Ginsberg (Ed.),The development of mathematical thinking.Hillsdale,NJ: Lawrence Erlbaum."},{"key":"422907_CR27","doi-asserted-by":"crossref","unstructured":"VanLehn, K.(1987).Learning one subprocedure per lesson.Artificial Intelligence,311-40.","DOI":"10.1016\/0004-3702(87)90080-4"},{"key":"422907_CR28","unstructured":"VanLehn, K., Brown, J.S.,& Greeno, J.G.(1984).Competitive argumen-tation in computation theories of cognition.In W. Kintsch, J. Miller, & P. Poison (Eds.),Methods and tactics in cognitive science.Hillsdale, NJ: Lawrence Erlbaum."},{"key":"422907_CR29","unstructured":"Vere, S.(1975).Induction of concepts in the predicate calculus.In Pro-ceedings of the Fourth International Joint Conference on Artificial In-telligence(pp.281-287).Tbilisi,USSR: Morgan Kaufmann."}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022812926936.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022812926936\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022812926936.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:38:14Z","timestamp":1752147494000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022812926936"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,3]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1987,3]]}},"alternative-id":["422907"],"URL":"https:\/\/doi.org\/10.1023\/a:1022812926936","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,3]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}