{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T20:40:34Z","timestamp":1649191234164},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,10,1]],"date-time":"1993-10-01T00:00:00Z","timestamp":749433600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[1993,10]]},"DOI":"10.1007\/bf00993102","type":"journal-article","created":{"date-parts":[[2005,1,9]],"date-time":"2005-01-09T16:36:00Z","timestamp":1105288560000},"page":"35-70","source":"Crossref","is-referenced-by-count":3,"title":["Explanation-based learning for diagnosis"],"prefix":"10.1007","volume":"13","author":[{"given":"Yousri","family":"El Fattah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"O'Rorke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"11","volume-title":"Proceedings of the Workshop on Model Based Reasoning","author":"R. Davis","year":"1989","unstructured":"Davis, R. (1989). Form and content in a model-based reasoning. In E. Searl (Ed.),Proceedings of the Workshop on Model Based Reasoning (pp. 11?27). Detroit, MI: Boeing Computer Services."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/B978-0-934613-67-5.50012-5","volume-title":"Exploring Artificial Intelligence, chapter 8","author":"R. Davis","year":"1988","unstructured":"Davis, R., & Hamscher, W. (1988). Model-based reasoning: Troubleshooting. In H.E. Shrobe (Ed.),Exploring Artificial Intelligence, chapter 8 (pp. 297?346). San Mateo, CA: Morgan Kaufmann."},{"key":"CR3","volume-title":"Local methods for localizing faults in electronic circuits (AI Memo 394)","author":"J. Kleer de","year":"1976","unstructured":"de Kleer, J. (1976).Local methods for localizing faults in electronic circuits (AI Memo 394). Cambridge, MA: MIT Artificial Intelligence Laboratory."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(86)90082-2","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J. (1986). Problem solving with the atms.Artificial Intelligence, 28, 197?224.","journal-title":"Artificial Intelligence"},{"key":"CR5","first-page":"264","volume-title":"Proceedings of the Eighth National Conference on Artificial Intelligence","author":"J. Kleer de","year":"1990","unstructured":"de Kleer, J. (1990). Exploiting locality in a tms. InProceedings of the Eighth National Conference on Artificial Intelligence (pp. 264?271). Boston, MA: AAAI Press\/The MIT Press."},{"key":"CR6","first-page":"842","volume-title":"Proceedings of the Ninth National Conference on Artificial Intelligence","author":"J. Kleer de","year":"1991","unstructured":"de Kleer, J. (1991). Focusing on probable diagnoses. InProceedings of the Ninth National Conference on Artificial Intelligence (pp. 842?848). Anaheim, CA: AAAI Press\/The MIT Press."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer de","year":"1992","unstructured":"de Kleer, J., Mackworth, A., & Reiter, R. (1992). Characterizing diagnoses and systems.Artificial Intelligence, 56, 197?222.","journal-title":"Artificial Intelligence"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"de Kleer, J., & Williams, B.C. (1987). Diagnosing multiple faults.Artificial Intelligence, 32, 97?130.","journal-title":"Artificial Intelligence"},{"key":"CR9","first-page":"408","volume-title":"Proceedings of the Eighth European Conference on Artificial Intelligence","author":"W.V. Velde de","year":"1988","unstructured":"de Velde, W.V. (1988). Quality of learning. InProceedings of the Eighth European Conference on Artificial Intelligence (pp. 408?413). London: Pitman."},{"issue":"2","key":"CR10","first-page":"145","volume":"1","author":"G.F. DeJong","year":"1986","unstructured":"DeJong, G.F., & Mooney, R. (1986). Explanation-based learning: An alternative view.Machine Learning, 1(2), 145?176.","journal-title":"Machine Learning"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1109\/CAIA.1991.120875","volume-title":"Proceedings of the Seventh IEEE Conference on Artificial Intelligence Applications","author":"Y. Fattah El","year":"1991","unstructured":"El Fattah, Y., & O'Rorke, P. (1991a). Learning multiple fault diagnosis. InProceedings of the Seventh IEEE Conference on Artificial Intelligence Applications (pp. 235?239). Los Alamitos, CA: IEEE Computer Society Press."},{"key":"CR12","volume-title":"Proceedings of the Workshop on Model Based Reasoning","author":"Y. Fattah El","year":"1991","unstructured":"El Fattah, Y., & O'Rorke, P. (1991b). On tractability and learning in model based diagnosis. InProceedings of the Workshop on Model Based Reasoning. Anaheim, CA: AAAI."},{"key":"CR13","first-page":"225","volume-title":"Working Notes of the AAAI Spring Symposium on Constraint Based Reasoning","author":"Y. Fattah El","year":"1991","unstructured":"El Fattah, Y., & O'Rorke, P. (1991c). The role of compilation in constraint based reasoning. InWorking Notes of the AAAI Spring Symposium on Constraint Based Reasoning (pp. 225?241). Stanford, CA: AAAI."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1109\/CAIA.1992.200023","volume-title":"Proceedings of the Eighth IEEE Conference on Artificial Intelligence Applications","author":"Y. Fattah El","year":"1992","unstructured":"El Fattah, Y., & O'Rorke, P. (1992). Learning approximate diagnosis. InProceedings of the Eighth IEEE Conference on Artificial Intelligence Applications (pp. 150?156). Los Alamitos, CA: IEEE Computer Society Press."},{"key":"CR15","first-page":"916","volume-title":"Proceedings of the Eighth National Conference on Artificial Intelligence","author":"O. Etzioni","year":"1990","unstructured":"Etzioni, O. (1990). Why prodigy\/ebl works. InProceedings of the Eighth National Conference on Artificial Intelligence (pp. 916?922). Menlo Park, CA: AAAI Press\/The MIT Press."},{"key":"CR16","first-page":"3","volume-title":"Expert systems in the micro electronic age","author":"E.A. Feigenbaum","year":"1979","unstructured":"Feigenbaum, E.A. (1979). Themes and case studies of knowledge engineering. In D. Michie (Ed.),Expert systems in the micro electronic age (pp. 3?25). Edinburgh: Edinburgh University Press."},{"issue":"9\/10","key":"CR17","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0898-1221(90)90112-W","volume":"20","author":"G. Friedrich","year":"1990","unstructured":"Friedrich, G., Gottlob, G., & Nejdl, W. (1990). Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques.Computers Mathematical Applications, 20(9\/10), 57?72.","journal-title":"Computers Mathematical Applications"},{"key":"CR18","volume-title":"Computers and Tractability","author":"M. Garey","year":"1979","unstructured":"Garey, M., & Johnson, D. (1979).Computers and Tractability. New York: W.H. Freeman and Company."},{"issue":"2","key":"CR19","first-page":"71","volume":"6","author":"A.K. Goel","year":"1991","unstructured":"Goel, A.K. (1991). Knowledge compilation: A symposium.IEEE Expert, 6(2), 71?93.","journal-title":"IEEE Expert"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"Greiner, R., Smith, B.A., & Wilkerson, R. (1989). A correction to the algorithm in Reiter's theory of diagnosis.Artificial Intelligence, 41, 79?88.","journal-title":"Artificial Intelligence"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S0747-7171(08)80029-6","volume":"9","author":"A. Kean","year":"1990","unstructured":"Kean, A., & Tsiknis, G. (1990). An incremental method for generating prime implicants\/implicates.Journal of Symbolic Computation, 9, 185?206.","journal-title":"Journal of Symbolic Computation"},{"key":"CR22","first-page":"22","volume-title":"Proceedings of the Workshop on Model Based Reasoning","author":"R.M. Keller","year":"1990","unstructured":"Keller, R.M. (1990). In defense of compilation: A response to Davis' ?Form and content in model-based reasoning.? In E. Scarl, (Ed.),Proceedings of the Workshop on Model Based Reasoning (pp. 22?31). Boston, MA: Boeing Computer Services."},{"issue":"2","key":"CR23","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1109\/64.79715","volume":"6","author":"R.M. Keller","year":"1991","unstructured":"Keller, R.M. (1991). Applying knowledge compilation techniques to model-based reasoning.IEEE Expert, 6(2), 82?87.","journal-title":"IEEE Expert"},{"key":"CR24","first-page":"1356","volume-title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","author":"Y. Koseki","year":"1989","unstructured":"Koseki, Y. (1989). Experience learning in model-based diagnosis. InProceedings of the Eleventh International Joint Conference on Artificial Intelligence (pp. 1356?1362). Detroit, MI: Morgan Kaufmann."},{"key":"CR25","first-page":"564","volume-title":"Proceedings of the Seventh National Conference on Artificial Intelligence","author":"S. Minton","year":"1988","unstructured":"Minton, S. (1988). Quantitative results concerning the utility of explanation-based learning. InProceedings of the Seventh National Conference on Artificial Intelligence (pp. 564?569). St. Paul, MN: Morgan Kaufmann."},{"issue":"1","key":"CR26","first-page":"47","volume":"1","author":"T.M. Mitchell","year":"1986","unstructured":"Mitchell, T.M., Keller, R.M., & Kedar-Cabelli, S.T. (1986). Explanation-based generalization: A unifying view.Machine Learning, 1(1), 47?80.","journal-title":"Machine Learning"},{"issue":"2","key":"CR27","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1023\/A:1022647915955","volume":"4","author":"P. O'Rorke","year":"1989","unstructured":"O'Rorke, P. (1989). LT revisited: Explanation-based learning and the logic of Principia Mathematica.Machine Learning, 4(2), 117?159.","journal-title":"Machine Learning"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R. (1987). A theory of diagnosis from first principles.Artificial Intelligence, 32, 57?95.","journal-title":"Artificial Intelligence"},{"key":"CR29","first-page":"183","volume-title":"Proceedings of the Sixth National Conference on Artificial Intelligence","author":"R. Reiter","year":"1987","unstructured":"Reiter, R., & de Kleer, J. (1987). Foundations of assumption-based truth maintenance systems. InProceedings of the Sixth National Conference on Artificial Intelligence (pp. 183?188). Seattle, WA: Morgan Kaufmann."},{"key":"CR30","series-title":"Technical Report","volume-title":"Generalizing on multiple grounds: Performance learning in model-based troubleshooting","author":"P. Resnick","year":"1989","unstructured":"Resnick, P. (1989). Generalizing on multiple grounds: Performance learning in model-based troubleshooting (Technical Report AI-TR 1052). Cambridge, MA: MIT Artificial Intelligence Laboratory."},{"key":"CR31","first-page":"196","volume-title":"Proceedings of the German Workshop on Artificial Intelligence","author":"K. Zercher","year":"1988","unstructured":"Zercher, K. (1988). Model-based learning of rules for error diagnosis. In W. Hoeppner (Ed.),Proceedings of the German Workshop on Artificial Intelligence (pp. 196?205). Berlin: Springer Verlag."}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00993102.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00993102\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00993102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T22:58:40Z","timestamp":1556578720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00993102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,10]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,10]]}},"alternative-id":["BF00993102"],"URL":"https:\/\/doi.org\/10.1007\/bf00993102","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,10]]}}}