{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T21:54:38Z","timestamp":1774734878238,"version":"3.50.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,4,1]],"date-time":"1993-04-01T00:00:00Z","timestamp":733622400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[1993,4]]},"DOI":"10.1007\/bf00849080","type":"journal-article","created":{"date-parts":[[2004,12,21]],"date-time":"2004-12-21T06:15:42Z","timestamp":1103609742000},"page":"109-152","source":"Crossref","is-referenced-by-count":76,"title":["Approaches to abductive reasoning: an overview"],"prefix":"10.1007","volume":"7","author":[{"given":"Gabriele","family":"Paul","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","series-title":"Technical report","volume-title":"Weighted abduction for plan ascription","author":"D. E. Appelt","year":"1990","unstructured":"D. E. Appelt and M. Pollack. Weighted abduction for plan ascription. Technical report, Artificial Intelligence Center and Center for the Study of Language and Information, SRI International, Menlo Park, California, 1990."},{"key":"CR2","unstructured":"D. Allemang, M. Tanner, T. Bylander, and J. Josephson. Computational complexity of hypothesis assembly. InProceedings of the 10th International Joint Conference on Artificial Intelligence, pages 1112?1117, 1987."},{"key":"CR3","volume-title":"Introduction to Artificial Intelligence","author":"E. Charniak","year":"1985","unstructured":"E. Charniak and P. McDermott.Introduction to Artificial Intelligence. Addison Wesley, Menlo Park, California, 1985."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"P. Cox and T. Pietrzykowski. Causes for events: Their computation and applications. InProceedings CADE 86, pages 608?621, 1986.","DOI":"10.1007\/3-540-16780-3_125"},{"key":"CR5","unstructured":"E. Charniak and S. E. Shimony. Probabilistic semantics for cost based abduction. InProceedings of the 8th National Conference on Artificial Intelligence, pages 106?111, 1990."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis.Computational Intelligence, 7: 133?141, 1991.","journal-title":"Computational Intelligence"},{"key":"CR7","unstructured":"K. Eshghi and R. Kowalski. Abduction compared with negation by failure. InProceedings of the 6th International Conference on Logic Programming, pages 234?254, 1989."},{"key":"CR8","unstructured":"K. Eshghi and R. Kowalski. Abduction through deduction. Technical report, Imperial College of Science and Technology, Department of Computing, 1988."},{"key":"CR9","unstructured":"K. Eshghi. Abductive planning with Event Calculus. InProceedings of the 5th International Conference on Logic Programming, page 562, 1988."},{"key":"CR10","volume-title":"The Thought of C. S. Peirce","author":"Th. A. Goudge","year":"1950","unstructured":"Th. A. Goudge.The Thought of C. S. Peirce. Dover Publications Inc., New York, 1950."},{"key":"CR11","volume-title":"Plan recognition as abduction and relevance","author":"N. Helft","year":"1990","unstructured":"N. Helft and K. Konolige. Plan recognition as abduction and relevance. Draft version, Artificial Intelligence Center, SRI International, Menlo Park, California, 1990."},{"key":"CR12","volume-title":"Interpretation as abduction","author":"J. R. Hobbs","year":"1989","unstructured":"J. R. Hobbs, M. Stickel, P. Martin, and D. Edwards. Interpretation as abduction. Draft version, SRI International, Artificial Intelligence Center, Menlo Park, CA, 1989."},{"key":"CR13","volume-title":"Abductive logic programming","author":"A. C. Kakas","year":"1992","unstructured":"A. C. Kakas, R. A. Kowalski, and F. Toni. Abductive logic programming. Draft version, Department of Computer Science, University of Cyprus, Nicosia, and Imperial College of Science, Technology and Medicine, London, 1992."},{"key":"CR14","unstructured":"A. C. Kakas and P. Mancarella. Database updates through abduction. InProceedings of the 16th Conference on Very Large Databases, 1990."},{"key":"CR15","unstructured":"A. C. Kakas and P. Mancarella. On the relation of truth maintenance and abduction. InProceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, 1990."},{"key":"CR16","unstructured":"A. C. Kakas and P. Mancarella. Generalized stable models: a semantics for abduction. InProceedings of the 9th European Conference on Artificial Intelligence, pages 385?391, 1990."},{"key":"CR17","unstructured":"K. Konolige. Closure + minimization implies abduction. InPRICAI-90, Nagoya, Japan, 1990."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"R. Kowalski and M. Sergot. A logic based calculus of events.New Generation Computing, 4: 67?95, 1986.","journal-title":"New Generation Computing"},{"key":"CR19","unstructured":"H. Levesque. A knowledge-level account of abduction. InProceedings of the 11th International Joint Conference on Artificial Intelligence, pages 1061?1067, 1989."},{"key":"CR20","unstructured":"Hwee Tou Ng and R. J. Mooney. On the role of coherence in abductive explanation. InProceedings of the 8th National Conference on Artificial Intelligence, pages 337?342, 1990."},{"key":"CR21","unstructured":"C. S. Peirce.Collected Papers of Charles Sanders Peirce (eds. C. Hartshorne et al.). Harvard University Press, 1931?1958."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole. A logical framework for default reasoning.Artificial Intelligence, 36: 27?47, 1988.","journal-title":"Artificial Intelligence"},{"key":"CR23","unstructured":"D. Poole. Normality and faults in logic-based diagnosis. InProceedings of the 11th International Joint Conference on Artificial Intelligence, pages 1304?1310, 1989."},{"key":"CR24","unstructured":"H. E. Pople, Jr. A goal oriented language for the computer. InRepresentation and meaning ? Experiments with information processing systems. Prentice Hall (eds. H. Simon and L. Siklossy), 1972."},{"key":"CR25","unstructured":"H. E. Pople, Jr. On the mechanization of abductive logic. InProceedings of the 3rd International Joint Conference on Artificial Intelligence, pages 147?151, 1973."},{"key":"CR26","first-page":"437","volume":"83","author":"J. Reggia","year":"1988","unstructured":"J. Reggia. Diagnostic expert systems based on a set covering model.International Journal of Man-Machine Studies, November 83: 437?460, 1988.","journal-title":"International Journal of Man-Machine Studies"},{"issue":"2","key":"CR27","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning.Artificial Intelligence, 13(2): 81?132, 1980.","journal-title":"Artificial Intelligence"},{"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":"R. Reiter. A theory of diagnosis from first principles.Artificial Intelligence, 32: 57?95, 1987.","journal-title":"Artificial Intelligence"},{"key":"CR29","unstructured":"M. Shanahan. Prediction is deduction but explanationis abduction. InProceedings of the 11th International Joint Conference on Artificial Intelligence, pages 1055?1060, 1989."},{"key":"CR30","unstructured":"B. Selman and H. L. Levesque. Abductive and default reasoning: A computational core. InProceedings of the 8th National Conference on Artificial Intelligence, pages 343?348, 1989."},{"key":"CR31","unstructured":"J. W. Smith.RED: A Classificatory and Abductive Expert System. PhD thesis, Ohio State University, Laboratory for Artificial Intelligence Research, Department for Computer Science, 1985."},{"key":"CR32","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00297245","volume":"4","author":"M. E. Stickel","year":"1988","unstructured":"M. E. Stickel. A prolog technology theorem prover: implementation by an extended prolog compiler.Journal of Automated Reasoning, 4: 353?380, 1988.","journal-title":"Journal of Automated Reasoning"},{"key":"CR33","first-page":"331","volume-title":"Natural Language and Logic","author":"M. Stickel","year":"1990","unstructured":"M. Stickel. Rationale and methods for abductive reasoning in natural-language interpretation. In R. Studer, editor,Natural Language and Logic, pages 331?352. Springer-Verlag, Berlin, Heidelberg, New York, 1990 (forthcoming)."},{"key":"CR34","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R. Weyhrauch","year":"1980","unstructured":"R. Weyhrauch. Prolegomena to a theory of mechanized formal reasoning.Artificial Intelligence, 13: 133?170, 1980.","journal-title":"Artificial Intelligence"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00849080.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00849080\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00849080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T15:44:22Z","timestamp":1556293462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00849080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,4]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,4]]}},"alternative-id":["BF00849080"],"URL":"https:\/\/doi.org\/10.1007\/bf00849080","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,4]]}}}