{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:27:53Z","timestamp":1752229673523,"version":"3.41.2"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,11,1]],"date-time":"1989-11-01T00:00:00Z","timestamp":625881600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1989,11,1]],"date-time":"1989-11-01T00:00:00Z","timestamp":625881600000},"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":[[1989,11]]},"DOI":"10.1023\/a:1022647915955","type":"journal-article","created":{"date-parts":[[2003,4,4]],"date-time":"2003-04-04T16:55:36Z","timestamp":1049475336000},"page":"117-159","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["LT Revisited: Explanation-Based Learning and the Logic of Principia Mathematica"],"prefix":"10.1007","volume":"4","author":[{"given":"Paul","family":"O'Rorke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"422414_CR1","volume-title":"Introduction to artificial intelligence programming","author":"E. Charniak","year":"1986","unstructured":"Charniak, E. and McDermott, D. (1986). Introduction to artificial intelligence programming. Hillsdale, NJ: Lawrence Erlbaum Associates."},{"key":"422414_CR2","first-page":"145","author":"G.F. DeJong","year":"1986","unstructured":"DeJong, G.F., and Mooney, R. (1986). Explanation-based learning: An alternative view. Machine Learning 1, 145\u2013176.","journal-title":"Machine Learning 1"},{"key":"422414_CR3","volume-title":"Machine learning: An artificial intelligence approach","author":"G.F. DeJong","year":"1986","unstructured":"DeJong, G.F. (1986). An approach to learning from observation. In R.S. Michalski, J.G. Carbonell, and T.M. Mitchell (Eds.), Machine learning: An artificial intelligence approach (Vol. 2). San Mateo, CA: Morgan Kaufmann."},{"key":"422414_CR4","doi-asserted-by":"crossref","unstructured":"DeJong, G.F. (Ed.) (1988). Proceedings of the American Association for Artificial Intelligence Spring Symposium on Explanation-Based Learning.","DOI":"10.1016\/B978-0-934613-67-5.50006-X"},{"key":"422414_CR5","unstructured":"Enderton, H.B. (1972). A mathematical introduction to logic. New York: Academic Press, Inc."},{"key":"422414_CR6","unstructured":"Hirsh, H. (1987). Explanation-based generalization in a logic-programming environment. Proceedings of the Tenth International Joint Conference on Artificial Intelligence (pp. 221\u2013227). Milan, Italy."},{"key":"422414_CR7","doi-asserted-by":"crossref","unstructured":"Kedar-Cabelli, S.T., and McCarty, L.T. (1987). Explanation-based generalization as resolution theorem proving. Proceedings of the Fourth International Workshop on Machine Learning (pp. 383\u2013389). Irvine, CA.","DOI":"10.1016\/B978-0-934613-41-5.50041-6"},{"key":"422414_CR8","first-page":"93","volume":"21","author":"K. Knight","year":"1989","unstructured":"Knight, K. (1989). Unification: A multidisciplinary survey. Association for computing machinery computing surveys 21, 93\u2013124.","journal-title":"Association for computing machinery computing surveys"},{"key":"422414_CR9","volume-title":"Learning to solve problems by searching for macro-operators","author":"R.E. Korf","year":"1985","unstructured":"Korf, R.E. (1985a). Learning to solve problems by searching for macro-operators. San Mateo, CA: Morgan Kaufmann."},{"key":"422414_CR10","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(85)90012-8","volume":"26","author":"R.E. Korf","year":"1985","unstructured":"Korf, R.E. (1985b). Macro-operators: A weak method for learning. Artificial Intelligence 26, 35\u201377.","journal-title":"Artificial Intelligence"},{"key":"422414_CR11","volume-title":"Exploring artificial intelligence: Survey talks from the national conferences on artificial intelligence","author":"R.E. Korf","year":"1988","unstructured":"Korf, R.E. (1988). Search: A survey of recent results. In H.E. Shrobe (Ed.), Exploring artificial intelligence: Survey talks from the national conferences on artificial intelligence. San Mateo, CA: Morgan Kaufmann."},{"key":"422414_CR12","doi-asserted-by":"crossref","unstructured":"Loveland, D.W. (1983). Automated theorem proving: A quarter century review. Proceedings of the Special Session on Automatic Theorem Proving at the American Math. Society Annual Meeting. Denver, CO.","DOI":"10.1090\/conm\/029\/749237"},{"key":"422414_CR13","unstructured":"Minton, S. (1985). Selectivity generalizing plans for problem-solving. Proceedings of the Ninth International Joint Conference on Artificial Intelligence (pp. 596\u2013599). Los Angeles, CA."},{"key":"422414_CR14","unstructured":"Minton, S. (1988a). Quantitative results concerning the utility of explanation-based learning. Proceedings of the Seventh National Conference on Artificial Intelligence (pp. 564\u2013569). St. Paul, MN."},{"key":"422414_CR15","unstructured":"Minton, S. (1988b). Learning effective search control knowledge: An explanation-based approach. PhD Thesis, Computer Science Department, Carnegie Mellon University, Pittsburgh, PA."},{"key":"422414_CR16","first-page":"47","volume":"1","author":"T.M. Mitchell","year":"1986","unstructured":"Mitchell, T.M., Keller, R.M., and Kedar-Cabelli, S.T. (1986). Explanation-based generalization\u2014 A unifying view. Machine Learning, 1, 47\u201380.","journal-title":"Machine Learning"},{"key":"422414_CR17","volume-title":"Proceedings of the National Conference on Artificial Intelligence","author":"R. Mooney","year":"1986","unstructured":"Mooney, R., and Bennett, S. (1986). A domain independent explanation-based generalizer. Proceedings of the National Conference on Artificial Intelligence. Philadelphia, PA: Morgan Kaufmann."},{"key":"422414_CR18","series-title":"Technical Report","volume-title":"Coordinated Science Laboratory","author":"R.J. Mooney","year":"1987","unstructured":"Mooney, R.J. (1987). A general explanation-based learning mechanism and its application to narrative understanding. (Technical Report UILU-Engineering-87-2269). Coordinated Science Laboratory, University of Illinois at Urbana-Champaign."},{"key":"422414_CR19","volume-title":"Human Problem Solving","author":"A. Newell","year":"1972","unstructured":"Newell, A., and Simon, H.A. (1972). The logic theorist: An example. In Human Problem Solving. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"422414_CR20","volume-title":"Computers and Thought","author":"A. Newell","year":"1981","unstructured":"Newell, A., Shaw, J.C., and Simon, H.A. (1981). Empirical explorations with the logic theory machine: A case study in heuristics. In E. Feigenbaum and J. Feldman (Eds.), Computers and Thought. Malabar, FL: Robert E. Krieger. (This article was also published in the Proceedings of the Joint Computer Conference (pp. 218\u2013230) in 1957. The original edition of Computers and Thought was published in 1963 by McGraw-Hill, Inc.)"},{"key":"422414_CR21","unstructured":"O'Rorke, P. (1984). Generalization for explanation-based schema acquisition. Proceedings of the National Conference on Artificial Intelligence (pp. 260\u2013263). Austin, TX."},{"key":"422414_CR22","doi-asserted-by":"crossref","unstructured":"O'Rorke, P. (1987). LT revisited: Experimental results of applying explanation-based learning to the logic of Principia Mathematica. Proceedings of the Fourth International Machine Learning Workshop (pp. 148\u2013159). Irvine, CA.","DOI":"10.1016\/B978-0-934613-41-5.50019-2"},{"key":"422414_CR23","unstructured":"Prieditis, A.E., and Mostow, J. (1987). PROLEARN: Towards a Prolog interpreter that learns. Proceedings of the National Conference on Artificial Intelligence (pp. 494\u2013498). Seattle, WA."},{"key":"422414_CR24","volume-title":"Machine Intelligence 5","author":"J.C. Reynolds","year":"1970","unstructured":"Reynolds, J.C. (1970). Transformational systems and the algebraic structure of atomic formulas. In B. Meltzer and D. Michie (Eds.), Machine Intelligence 5. New York: Edinburgh University Press\/American Elsevier."},{"key":"422414_CR25","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A. (1965). A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery 12, 23\u201341.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"422414_CR26","volume-title":"Proceedings of the National Conference of Artificial Intelligence","author":"P.S. Rosenbloom","year":"1986","unstructured":"Rosenbloom, P.S., and Laird, J.E. (1986). Mapping explanation-based generalization onto SOAR. Proceedings of the National Conference of Artificial Intelligence. Philadelphia, PA: Morgan Kaufmann."},{"key":"422414_CR27","unstructured":"Segre, A.M. (1987). Explanation-based learning of generalized robot assembly tasks. (Technical Report UILU-Engineering-87-2208). University of Illinois at Urbana-Champaign, Coordinated Science Laboratory."},{"key":"422414_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1691-6","volume-title":"Machine Learning of Robot Assembly Plans","author":"A.M. Segre","year":"1988","unstructured":"Segre, A.M. (1988). Machine Learning of Robot Assembly Plans. Dordrecht, The Netherlands: Kluwer Academic Press."},{"key":"422414_CR29","unstructured":"Shavlik, J.W. (1988). Generalizing the structure of explanations in explanation-based learning. PhD. thesis, University of Illinois at Urbana-Champaign, Coordinated Science Laboratory."},{"key":"422414_CR30","series-title":"Memorandum","volume-title":"The logic theory machine: A model heuristic program","author":"E. Stefferud","year":"1963","unstructured":"Stefferud, E. (1963). The logic theory machine: A model heuristic program. (Memorandum RM-3731-CC). Santa Monica, CA., The Rand Corporation."},{"key":"422414_CR31","volume-title":"Principia Mathematica","author":"A.N. Whitehead","year":"1913","unstructured":"Whitehead, A.N., and Russell, B. (1913). Principia Mathematica. London: Cambridge University Press. (Also available in a paperback edition to *56, published in 1962.)"}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022647915955.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022647915955\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022647915955.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:36:57Z","timestamp":1752147417000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022647915955"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,11]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,11]]}},"alternative-id":["422414"],"URL":"https:\/\/doi.org\/10.1023\/a:1022647915955","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"type":"print","value":"0885-6125"},{"type":"electronic","value":"1573-0565"}],"subject":[],"published":{"date-parts":[[1989,11]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}