{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:42Z","timestamp":1725456222625},"publisher-location":"Berlin\/Heidelberg","reference-count":8,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012822","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:12:39Z","timestamp":1132726359000},"page":"41-60","source":"Crossref","is-referenced-by-count":6,"title":["Learning and applying generalised solutions using higher order resolution"],"prefix":"10.1007","author":[{"given":"M. R.","family":"Donat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. A.","family":"Wallen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"deGroote, P. How I spent my time in Cambridge with Isabelle, Technical Report RR 87-1, Universit\u00e9 Catholique de Louvain, January 1987."},{"key":"3_CR2","unstructured":"Donat, M.R. Construction and Application of Generalisations Using Higher Order Unification. Master's thesis, Department of Artificial Intelligence, University of Edinburgh, 1987."},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0004-3702(72)90051-3","volume":"3","author":"R.E. Fikes","year":"1972","unstructured":"Fikes, R.E., Hart, P.E., and Nilsson, N.J. Learning and executing generalized robot plans. Artificial Intelligence, 3:251\u2013288, 1972.","journal-title":"Artificial Intelligence"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Kedar-Cabelli, S. and McCarty, L.T. Explanation-based generalization as resolution theorem proving. In P. Langley, editor, Proceedings of the 4th International Machine Learning Workshop, pages 383\u2013389, Morgan Kaufmann, 1987.","DOI":"10.1016\/B978-0-934613-41-5.50041-6"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Miller, D.A. and Nadathur, G. \u201cHigher-order logic programming,\u201d Proceedings of the 3rd Int. Logic Programming Conference, London, June 1986, 448\u2013462.","DOI":"10.1007\/3-540-16492-8_94"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Mitchell, T.M., Utgoff, P. E., and Banerji, R. Learning by experimentation: acquiring and modifying problem-solving heuristics. In Machine Learning, pages 163\u2013190, Tioga Press, 1983.","DOI":"10.1016\/B978-0-08-051054-5.50010-8"},{"issue":"1","key":"3_CR7","first-page":"47","volume":"1","author":"T.M. Mitchell","year":"1986","unstructured":"Mitchell, T.M., Keller, R.M., and Kedar-Cabelli, S.T. Explanation-based generalization: a unifying view. Machine Learning, 1(1):47\u201380, 1986.","journal-title":"Machine Learning"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0743-1066(86)90015-4","volume":"3","author":"L. Paulson","year":"1986","unstructured":"Paulson, L. Natural deduction as higher order resolution. Journal of Logic Programming, 3:237\u2013258, 1986.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0012822","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:24:23Z","timestamp":1586579063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012822"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0012822","relation":{},"subject":[]}}