{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T16:10:10Z","timestamp":1746288610472,"version":"3.40.4"},"reference-count":25,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9781558602472"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1016\/b978-1-55860-247-2.50010-3","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T02:53:10Z","timestamp":1404183190000},"page":"37-42","source":"Crossref","is-referenced-by-count":3,"title":["Eliminating Redundancy in Explanation-Based Learning"],"prefix":"10.1016","author":[{"given":"Henrik","family":"Bostr\u00f6m","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib1","unstructured":"Bostr\u00f6m H., \u201cImproving Explanation-Based Learning for Horn Clause Theories by Eliminating Redundancy\u201d, SYSLAB Report, Dept. of Computer and Systems Sciences, Stockholm University (1992)"},{"year":"1981","series-title":"Programming in Prolog","author":"Clocksin","key":"10.1016\/B978-1-55860-247-2.50010-3_bib2"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib3","doi-asserted-by":"crossref","unstructured":"Cohen W. W., \u201cGeneralizing Number and Learning from Multiple Examples in Explanation-Based Learning\u201d, Proceedings of the Fifth International Conference on Machine Learning, Ann Arbor, MI, Morgan Kaufmann, Los Altos, Ca (1988)pp256\u2013269","DOI":"10.1016\/B978-0-934613-64-4.50032-3"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib4","unstructured":"Bruynooghe M., De Raedt L. and De Schreye D., \u201cExplanation Based Program Transformation\u201d, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI, Morgan Kaufmann (1989) pp407\u2013412"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib5","doi-asserted-by":"crossref","unstructured":"Feldman R. and Subramanian D., \u201cExample-Guided Optimization of Recursive Domain theories\u201d, Proceedings of Conference on Artificial Intelligence Applications, Miami Beach, Florida, IEEE (1991) pp240\u2013244","DOI":"10.1109\/CAIA.1991.120876"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib6","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0004-3702(88)90088-4","article-title":"\u201cExplanation-Based Generalization = Partial Evaluation\u201d","volume":"36","author":"van Harmelen","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib7","unstructured":"Jansson C-G., Bostr\u00f6m H. and Idestam-Almquist P., \u201cOptimizing Horn Clause Logic Programs for Particular Modes of Use: an Analysis of Explanation-Based Learning and Partial Evaluation Techniques\u201d, Proceedings of the Scandinavian Conference on Artificial Intelligence, Roskilde, Denmark, OIS Press (1991) pp252\u2013257"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib8","doi-asserted-by":"crossref","unstructured":"Kedar-Cabelli S. and McCarty L. T., \u201cExplanation-based generalization as resolution theorem proving\u201d, Proceedings of the Fourth International Machine Learning Workshop, Irvine, CA (1987) pp383\u2013389","DOI":"10.1016\/B978-0-934613-41-5.50041-6"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib9","unstructured":"Letovsky S., \u201cOperationally Criteria for Recursive Predicates\u201d, Proceedings of the National Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, Ca (1990) pp936\u2013941"},{"year":"1987","series-title":"Foundations of Logic Programming","author":"Lloyd","key":"10.1016\/B978-1-55860-247-2.50010-3_bib10"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib11","doi-asserted-by":"crossref","unstructured":"Markovitch S. and Scott P. D., \u201cThe Role of Forgetting in Learning\u201d, Proceedings of the Fifth International Conference on Machine Learning, Ann Arbor, MI, Morgan Kaufmann, Los Altos, Ca (1988)pp459\u2013465","DOI":"10.1016\/B978-0-934613-64-4.50052-9"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib12","unstructured":"Markovitch S. and Scott P. D., \u201cUtilization Filtering: a method for reducing the inherent harmfulness of deductively learned knowledge\u201d, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI, Morgan Kaufmann (1989) pp 738\u2013743"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib13","unstructured":"Minton S., \u201cLearning Effective Search Control Knowledge: An Explanation-Based Approach\u201d, Ph.D. thesis, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA (1988)"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib14","doi-asserted-by":"crossref","unstructured":"Minton S., \u201cIssues in the Design of Operator Composition Systems\u201d, Proceedings of the Seventh International Conference on Machine Learning, Austin, Texas, Morgan Kaufmann, Los Altos, Ca (1990) pp304\u2013312","DOI":"10.1016\/B978-1-55860-141-3.50040-7"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib15","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00116250","article-title":"\u201cExplanation-Based Generalization: A Unifying View\u201d","volume":"1","author":"Mitchell","year":"1986","journal-title":"Machine Learning"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib16","unstructured":"Mooney R., \u201cThe Effect of Rule Use on the Utility of Explanation-Based Learning\u201d, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI, Morgan Kaufmann (1989) pp725\u2013730"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib17","doi-asserted-by":"crossref","unstructured":"O'Rorke P., \u201cLT Revisited: Experimental Results of Applying Explanation-Based Learning to the Logic of Principia Mathematica\u201d, Proceedings of the Fourth International Workshop on Machine Learning, Univ. of California, Irvine, Morgan Kaufmann, Los Altos CA (1987) pp148\u2013159","DOI":"10.1016\/B978-0-934613-41-5.50019-2"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib18","first-page":"117","article-title":"\u201cLT Revisited: Explanation-Based Learning and the Logic of Principia Mathematica\u201d","volume":"4","author":"O'Rorke","year":"1989"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib19","unstructured":"Prieditis A.E, \u201cEnvironment-guided program transformation\u201d, Proceedings AAAI Spring Symposium, Stanford, CA (1988) pp201\u2013209"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib20","doi-asserted-by":"crossref","unstructured":"Sablon G., De Raedt L. and Bruynooghe M., \u201cGeneralizing Multiple Examples in Explanation Based Learning\u201d, Proceedings of the International Workshop AII 2, Reinhardsbrunn, GDR (1989) pp177\u2013183","DOI":"10.1007\/3-540-51734-0_60"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib21","unstructured":"Sahlin D., \u201cAn Automatic Partial Evaluator for Full Prolog\u201d, Ph.D. thesis, Dept. of Telecommunication and Computer Systems, The Royal Institute of Technology, Sweden (1991)"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib22","unstructured":"Shavlik J. W., \u201cAcquiring Recursive Concepts with Explanation-Based Learning\u201d, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI, Morgan Kaufmann (1989) pp 688\u2013693"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib23","unstructured":"Tamaki H. and Sato T., \u201cUnfold\/Fold Transformations of Logic Programs\u201d, Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden (1984) pp127\u2013138"},{"year":"1913","series-title":"Principia Mathematica","author":"Whitehead","key":"10.1016\/B978-1-55860-247-2.50010-3_bib24"},{"key":"10.1016\/B978-1-55860-247-2.50010-3_bib25","unstructured":"Wogulis J. and Langley P., \u201cImproving Efficiency by Learning Intermediate Concepts\u201d, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI, Morgan Kaufmann (1989) pp 657\u2013662"}],"container-title":["Machine Learning Proceedings 1992"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781558602472500103?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781558602472500103?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T15:43:00Z","timestamp":1746286980000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9781558602472500103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9781558602472"],"references-count":25,"URL":"https:\/\/doi.org\/10.1016\/b978-1-55860-247-2.50010-3","relation":{},"subject":[],"published":{"date-parts":[[1992]]}}}