{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:17Z","timestamp":1749124037851},"reference-count":45,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"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":["Artificial Intelligence"],"published-print":{"date-parts":[[1994,9]]},"DOI":"10.1016\/0004-3702(94)90077-9","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"1-50","source":"Crossref","is-referenced-by-count":11,"title":["A high-performance explanation-based learning algorithm"],"prefix":"10.1016","volume":"69","author":[{"given":"Alberto","family":"Segre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Elkan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(94)90077-9_BIB1","series-title":"Proceedings Fifth International Conference on Machine Learning","first-page":"221","article-title":"Boundaries of operationality","author":"Braverman","year":"1988"},{"key":"10.1016\/0004-3702(94)90077-9_BIB2","series-title":"Proceedings AAAI-88","first-page":"575","article-title":"IMEX: overcoming intractability in explanation based learning","author":"Braverman","year":"1988"},{"key":"10.1016\/0004-3702(94)90077-9_BIB3","series-title":"Proceedings ECAI-90","first-page":"138","article-title":"Combining EBL from success and EBL from failure with parameter version spaces","author":"Carpineto","year":"1990"},{"key":"10.1016\/0004-3702(94)90077-9_BIB4","series-title":"Logic and Databases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/0004-3702(94)90077-9_BIB5","series-title":"Proceedings Seventh International Conference on Machine Learning","first-page":"268","article-title":"Learning approximate control rules of high utility","author":"Cohen","year":"1990"},{"key":"10.1016\/0004-3702(94)90077-9_BIB6","series-title":"Proceedings IJCAI-87","first-page":"264","article-title":"A logical approach to reasoning by analogy","author":"Davies","year":"1987"},{"key":"10.1016\/0004-3702(94)90077-9_BIB7","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF00114116","article-title":"Explanation-based learning: an alternative view","volume":"2","author":"DeJong","year":"1986","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(94)90077-9_BIB8","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF00116894","article-title":"Learning at the knowledge level","volume":"3","author":"Dietterich","year":"1986","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(94)90077-9_BIB9","first-page":"255","article-title":"Machine Learning","volume":"4","author":"Dietterich","year":"1990"},{"key":"10.1016\/0004-3702(94)90077-9_BIB10","series-title":"Proceedings IJCAI-89","first-page":"341","article-title":"Conspiracy numbers and caching for searching and\/or trees and theorem-proving","author":"Elkan","year":"1989"},{"key":"10.1016\/0004-3702(94)90077-9_BIB11","series-title":"Fifth International Conference and Symposium on Logic Programming","first-page":"876","article-title":"Automated inductive reasoning about logic programs","author":"Elkan","year":"1988"},{"key":"10.1016\/0004-3702(94)90077-9_BIB12","article-title":"Not the last word on EBL algorithms","author":"Elkan","year":"1989"},{"issue":"2\u20133","key":"10.1016\/0004-3702(94)90077-9_BIB13","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/0004-3702(92)90059-7","article-title":"Iterative broadening","volume":"55","author":"Ginsberg","year":"1992","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)90077-9_BIB14","series-title":"Readings in Planning","first-page":"67","article-title":"Application of theorem proving to problem solving","author":"Green","year":"1990"},{"key":"10.1016\/0004-3702(94)90077-9_BIB15","series-title":"Proceedings IJCAI-87","first-page":"221","article-title":"Explanation-based generalization in a logic-programming environment","author":"Hirsh","year":"1987"},{"key":"10.1016\/0004-3702(94)90077-9_BIB16","series-title":"Proceedings Fifth International Conference on Machine Learning","first-page":"214","article-title":"Reasoning about operationality for explanation-based learning","author":"Hirsh","year":"1988"},{"key":"10.1016\/0004-3702(94)90077-9_BIB17","series-title":"Proceedings AAAI-87","first-page":"482","article-title":"Defining operationality for explanation-based learning","author":"Keller","year":"1987"},{"issue":"1","key":"10.1016\/0004-3702(94)90077-9_BIB18","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(85)90084-0","article-title":"Depth-first iterative deepening: an optimal admissible tree search","volume":"27","author":"Korf","year":"1985","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)90077-9_BIB19","author":"Lloyd","year":"1987"},{"key":"10.1016\/0004-3702(94)90077-9_BIB20","series-title":"Proceedings Sixth International Workshop on Machine Learning","first-page":"320","article-title":"Using determinations in EBL: a solution to the incomplete theory problem","author":"Mahadevan","year":"1989"},{"issue":"2","key":"10.1016\/0004-3702(94)90077-9_BIB21","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF00993503","article-title":"Information filtering: selection mechanisms in learning systems","volume":"10","author":"Markovitch","year":"1993","journal-title":"Mach. Learn."},{"issue":"2\u20133","key":"10.1016\/0004-3702(94)90077-9_BIB22","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0004-3702(90)90059-9","article-title":"Quantitative results concerning the utility of explanation-based learning","volume":"42","author":"Minton","year":"1990","journal-title":"Artif. Intell."},{"issue":"1","key":"10.1016\/0004-3702(94)90077-9_BIB23","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00116250","article-title":"Explanation-based generalization: a unifying view","volume":"1","author":"Mitchell","year":"1986","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(94)90077-9_BIB24","series-title":"Proceedings IJCAI-89","first-page":"725","article-title":"The effect of rule use on the utility of explanation-based learning","author":"Mooney","year":"1989"},{"key":"10.1016\/0004-3702(94)90077-9_BIB25","series-title":"Proceedings AAAI-86","first-page":"551","article-title":"A domain independent explanation-based generalizer","author":"Mooney","year":"1986"},{"key":"10.1016\/0004-3702(94)90077-9_BIB26","series-title":"Proceedings AAAI-83","first-page":"279","article-title":"A problem-solver for making advice operational","author":"Mostow","year":"1983"},{"key":"10.1016\/0004-3702(94)90077-9_BIB27","series-title":"Proceedings Fourth International Workshop on Machine Learning","first-page":"376","article-title":"Searching for operational concept descriptions in BAR, MetaLEX, EBG","author":"Mostow","year":"1987"},{"key":"10.1016\/0004-3702(94)90077-9_BIB28","series-title":"Computers and Thought","article-title":"Empirical explorations with the logic theory machine: a case study in heuristics","author":"Newell","year":"1963"},{"issue":"2","key":"10.1016\/0004-3702(94)90077-9_BIB29","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1023\/A:1022647915955","article-title":"LT revisited: explanation-based learning and the logic of Principia Mathematica","volume":"4","author":"O'Rorke","year":"1989","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(94)90077-9_BIB30","series-title":"Proceedings Annual IEEE AI Systems in Government Conference","first-page":"164","article-title":"Explanation-based learning of diagnostic heuristics: a comparison of learning from success and failure","author":"Pazzani","year":"1989"},{"key":"10.1016\/0004-3702(94)90077-9_BIB31","series-title":"Readings in Artificial Intelligence","first-page":"119","article-title":"On closed world data bases","author":"Reiter","year":"1981"},{"key":"10.1016\/0004-3702(94)90077-9_BIB32","series-title":"Proceedings IJCAI-87","first-page":"242","article-title":"On the operationality\/generality trade-off in explanation-based learning","author":"Segre","year":"1987"},{"key":"10.1016\/0004-3702(94)90077-9_BIB33","author":"Segre","year":"1988"},{"issue":"1\u20132","key":"10.1016\/0004-3702(94)90077-9_BIB34","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0921-8890(91)90016-E","article-title":"Learning how to plan","volume":"8","author":"Segre","year":"1991","journal-title":"Rob. Autonomous Syst."},{"key":"10.1016\/0004-3702(94)90077-9_BIB35","series-title":"Proceedings Ninth International Conference on Machine Learning","first-page":"400","article-title":"On combining multiple speedup techniques","author":"Segre","year":"1992"},{"issue":"2","key":"10.1016\/0004-3702(94)90077-9_BIB36","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF00114163","article-title":"Technical note: A critical look at experimental evaluations of EBL","volume":"6","author":"Segre","year":"1991","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(94)90077-9_BIB37","series-title":"Foundations of Knowledge Acquisition","first-page":"43","article-title":"Adaptive inference","author":"Segre","year":"1993"},{"issue":"1","key":"10.1016\/0004-3702(94)90077-9_BIB38","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF00881901","article-title":"Bounded-overhead caching for definite-clause theorem proving","volume":"11","author":"Segre","year":"1993","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/0004-3702(94)90077-9_BIB39","series-title":"Proceedings AAAI-90","first-page":"942","article-title":"The utility of EBL in recursive domain theories","author":"Subramanian","year":"1990"},{"key":"10.1016\/0004-3702(94)90077-9_BIB40","article-title":"A computational model of skill acquisition","author":"Sussman","year":"1973"},{"key":"10.1016\/0004-3702(94)90077-9_BIB41","series-title":"Proceedings Fifth International Conference on Machine Learning","first-page":"451","article-title":"Some chunks are expensive","author":"Tambe","year":"1988"},{"issue":"3","key":"10.1016\/0004-3702(94)90077-9_BIB42","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/BF00117107","article-title":"The problem of expensive chunks and its solution by restricting expressiveness","volume":"5","author":"Tambe","year":"1990","journal-title":"Mach. Learn."},{"issue":"11","key":"10.1016\/0004-3702(94)90077-9_BIB43","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1145\/1968.1972","article-title":"A theory of the learnable","volume":"27","author":"Valiant","year":"1984","journal-title":"Commun. ACM"},{"issue":"3","key":"10.1016\/0004-3702(94)90077-9_BIB44","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0004-3702(88)90088-4","article-title":"Explanation-based generalisation = partial evaluation (Research Note)","volume":"36","author":"van Harmelen","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)90077-9_BIB45","author":"Whitehead","year":"1913"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294900779?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294900779?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T00:56:37Z","timestamp":1553648197000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370294900779"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":45,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["0004370294900779"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(94)90077-9","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}