{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:12:03Z","timestamp":1752228723446},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"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":[[1992,3]]},"DOI":"10.1007\/bf00992863","type":"journal-article","created":{"date-parts":[[2005,1,9]],"date-time":"2005-01-09T16:53:01Z","timestamp":1105289581000},"page":"167-219","source":"Crossref","is-referenced-by-count":14,"title":["Abductive explanation-based learning: A solution to the multiple inconsistent explanation problem"],"prefix":"10.1007","volume":"8","author":[{"given":"William W.","family":"Cohen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence","author":"D. Allemang","year":"1987","unstructured":"Allemang, D., Tanner, M., Bylander, T. & Josephson, J. (1987). On the computational complexity of hypothesis assembly. InProceedings of the Tenth International Joint Conference on Artificial Intelligence, Milan, Italy. Morgan Kaufmann."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Blumer, A., Ehrenfeucht, A., Haussler, D. & Warmuth, M. (1986). Classifying learnable concepts with the Vapnik-Chervonenkis dimension. InEighteenth Annual Symposium of the Theory of Computing. ACM Press.","DOI":"10.1145\/12130.12158"},{"key":"CR3","unstructured":"Carbonell, J., Mason, M., & Mitchell, T. (1987). Machine learning and planning in a reactive environment. InProceedings of the NASA AI Forum."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Chvatal, V. (1979). A greedy heuristic for the set covering problem.Mathematics of Operations Research, 4.","DOI":"10.1287\/moor.4.3.233"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Clark, P. & Niblett, T. (1989). The CN2 induction algorithm.Machine Learning, 3.","DOI":"10.1007\/BF00116835"},{"key":"CR6","volume-title":"Proceedings of the Seventh International Conference on Machine Learning","author":"W. Cohen","year":"1990","unstructured":"Cohen, W. (1990a). An analysis of representation shift in concept learning. InProceedings of the Seventh International Conference on Machine Learning Austin, Texas. Morgan Kaufmann."},{"key":"CR7","unstructured":"Cohen, W. (1990b). Concept learning using explanation based generalization as an abstraction mechanism. (Technical Report DCS-TR-271). Rutgers University."},{"key":"CR8","volume-title":"Proceedings of the Seventh International Conference of Machine Learning","author":"W. Cohen","year":"1990","unstructured":"Cohen, W. (1990c). Learning approximate control rules of high utility. InProceedings of the Seventh International Conference of Machine Learning Austin, Texas. Morgan Kaufmann."},{"key":"CR9","volume-title":"Proceedings of the Eighth National Conference on Artificial Intelligence","author":"W. Cohen","year":"1990","unstructured":"Cohen, W. (1990d). Learning from textbook knowledge: A case study. InProceedings of the Eighth National Conference on Artificial Intelligence Boston, Massachusetts. MIT Press."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"DeJong, G. & Mooney, R. (1986). EBL: An alternative view.Machine Learning, 1.","DOI":"10.1007\/BF00114116"},{"key":"CR11","unstructured":"Dietterich, T. & Michalski, R. (1983). A comparative review of selected methods for learning from examples. InMachine learning: An artificial intelligence approach. Morgan Kaufmann."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Dietterich, T. (1986). Learning at the knowledge level.Machine Learning, 1.","DOI":"10.1007\/BF00116894"},{"key":"CR13","volume-title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","author":"G. Drastal","year":"1989","unstructured":"Drastal, G., Czako, G. & Raatz, S. (1989). Induction in abstraction spaces: A form of constructive induction. InProceedings of the Eleventh International Joint Conference on Artificial Intelligence Detroit, Michigan. Morgan Kaufmann."},{"key":"CR14","unstructured":"Ehrenfeucht, A., Haussler, D., Kearns, M. & Valiant, L. (1988). A general lower bound on the number of examples needed for learning. InProceedings of the 1988 Workshop on Computational Learning Theory, Boston, Massachusetts."},{"key":"CR15","volume-title":"Proceedings of the Sixth International Workshop on Machine Learning","author":"T. Fawcett","year":"1989","unstructured":"Fawcett, T. (1989). Learning from plausible explanations. InProceedings of the Sixth International Workshop on Machine Learning Ithaca, New York. Morgan Kaufmann."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Flann, N. & Dietterich, T. (1989). A study of explanation-based methods for inductive learning.Machine Learning, 4.","DOI":"10.1023\/A:1022652016863"},{"key":"CR17","volume-title":"Proceedings of the Seventh National Conference on Artificial Intelligence","author":"A. Ginsberg","year":"1988","unstructured":"Ginsberg, A. (1988). Theory revision via prior operationalization. InProceedings of the Seventh National Conference on Artificial Intelligence Saint Paul, Minnesota. Morgan Kaufmann."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Gold, M. (1967). Language identification in the limit.Information and Control, 10.","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Hall, R. (1988). Learning by failing to explain: Using partial explanation to learn in incomplete or intractible domains.Machine Learning, 1.","DOI":"10.1007\/BF00115010"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Haussler, D. (1988). Quantifying inductive bias: AI learning algorithms and Valiant's learning framework.Artificial Intelligence, 36.","DOI":"10.1016\/0004-3702(88)90002-1"},{"key":"CR21","volume-title":"Proceedings of the 1988 Spring Symposium on EBL","author":"H. Hirsh","year":"1988","unstructured":"Hirsh, H. (1988). Empirical techniques for repairing imperfect theories. InProceedings of the 1988 Spring Symposium on EBL Palo Alto, California. AAAI."},{"key":"CR22","volume-title":"Proceedings of the Sixth International Workshop on Machine Learning","author":"H. Hirst","year":"1989","unstructured":"Hirst, H. (1989). Combining empirical and analytic learning with version spaces. InProceedings of the Sixth International Workshop on Machine Learning Ithaca, New York. Morgan Kaufmann."},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Hirst, H. (1990).Incremental version space merging: A general framework for concept learning. Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4613-1557-5"},{"key":"CR24","unstructured":"Huhns, M. & Acosta, R. (1987). ARGO: An analogical reasoning system for solving design problems. (Technical Report AI\/CAD-092-87). MCC."},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Johnson, D.S. (1974). Approximation algorithms for combinatorial problems.Journal of Computer and System Sciences, 9.","DOI":"10.1016\/S0022-0000(74)80044-9"},{"key":"CR26","volume-title":"Proceedings of the Sixth National Conference on Artificial Intelligence","author":"S. Kedar-Cabelli","year":"1987","unstructured":"Kedar-Cabelli, S. (1987). Formulating concepts according to purpose. InProceedings of the Sixth National Conference on Artificial Intelligence Seattle, Washington. Morgan Kaufmann."},{"key":"CR27","volume-title":"Proceedings of the Fifth International Conference on Machine Learning","author":"K. Kelly","year":"1988","unstructured":"Kelly, K. (1988). Theory discovery and the hypothesis language. InProceedings of the Fifth International Conference on Machine Learning Ann Arbor, Michigan. Morgan Kaufmann."},{"key":"CR28","volume-title":"Proceedings of the Seventh National Conference on Artificial Intelligence","author":"J. Laird","year":"1988","unstructured":"Laird, J. (1988). Recovery from incorrect knowledge in SOAR. InProceedings of the Seventh National Conference on Artificial Intelligence Saint Paul, Minnesota. Morgan Kaufmann."},{"key":"CR29","volume-title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","author":"S. Mahadevan","year":"1985","unstructured":"Mahadevan, S. (1985). Verification-based learning: A generalization strategy for inferring problem-reduction methods. InProceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, California. Morgan Kaufmann."},{"key":"CR30","volume-title":"Proceedings of the Sixth International Workshop on Machine Learning","author":"S. Mahadevan","year":"1989","unstructured":"Mahadevan, S. (1989). Using determinations in EBL: A solution to the incomplete theory problem. InProceedings of the Sixth International Workshop on Machine Learning, Ithaca, New York. Morgan Kaufmann."},{"key":"CR31","volume-title":"Proceedings of the Fifth National Conference on Artificial Intelligence","author":"R.S. Michalski","year":"1986","unstructured":"Michalski, R.S., Mozetic, I., Hong, J. & Lavrac, N. (1986). The multipurpose incremental learning system AQ15 and its application to three medical domains. InProceedings of the Fifth National Conference on Artificial Intelligence Philadelphia, Pennsylvania. Morgan Kaufmann."},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"Mitchell, T., Keller, R. & Kedar-Cabelli, S. (1986). Explanation-based generalization: A unifying view.Machine Learning, 1.","DOI":"10.1007\/BF00116250"},{"key":"CR33","volume-title":"Proceedings of the Sixth International Workshop on Machine Learning","author":"P. O'Rorke","year":"1989","unstructured":"O'Rorke, P., Morris, S. & Schulenburg, D. (1989). Theory formation by adbuction: Initial results of a case study based on the chemical revolution. InProceedings of the Sixth International Workshop on Machine Learning Ithaca, New York. Morgan Kaufmann."},{"key":"CR34","volume-title":"Proceedings of the 1988 Spring Symposium on Explanation Based Learning","author":"M. Pazzani","year":"1988","unstructured":"Pazzani, M. (1988). Selecting the best explanation in explanation-based learning. InProceedings of the 1988 Spring Symposium on Explanation Based Learning Palo Alto, California. AAAI."},{"key":"CR35","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D. (1988). A logical framework for default reasoning.Artificial Intelligence 36, 27?47.","journal-title":"Artificial Intelligence"},{"key":"CR36","volume-title":"Proceedings of the Fifth International Conference on Machine Learning","author":"S. Rajamoney","year":"1988","unstructured":"Rajamoney, S. & Dejong, G. (1988). Active explanation reduction: An approach to the multiple explanation problem. InProceedings of the Fifth International Conference on Machine Learning Ann Arbor, Michigan. Morgan Kaufmann."},{"key":"CR37","doi-asserted-by":"crossref","unstructured":"Reggia, J. (1983). Diagnostic expert systems based on a set-covering model.International Journal of Man-Machine Studies, 5.","DOI":"10.1016\/S0020-7373(83)80065-0"},{"key":"CR38","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":"CR39","volume-title":"Proceedings of the Eighth National Conference on Artificial Intelligence","author":"P. Rosenbloom","year":"1990","unstructured":"Rosenbloom, P. & Aasman, J. (1990). Knowledge level and inductive uses of chunking (EBL). InProceedings of the Eighth National Conference on Artificial Intelligence Boston, Massachusetts. MIT Press."},{"key":"CR40","volume-title":"Proceedings of the Seventh National Conference on Artificial Intelligence","author":"S. Roy","year":"1988","unstructured":"Roy, S. & Mostow, J. (1988). Parsing to learn fine grained rules. InProceedings of the Seventh National Conference on Artificial Intelligence, Saint Paul, Minnesota. Morgan Kaufmann."},{"key":"CR41","unstructured":"Sheinwold, A. (1964).5 weeks to winning bridge. Simon & Schuster."},{"key":"CR42","doi-asserted-by":"crossref","unstructured":"Valiant, L.G. (1984). A theory of the learnable.Communications of the ACM, 27.","DOI":"10.1145\/1968.1972"}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00992863.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00992863\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00992863","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T08:12:10Z","timestamp":1586074330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00992863"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["BF00992863"],"URL":"https:\/\/doi.org\/10.1007\/bf00992863","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}