{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T11:08:40Z","timestamp":1768993720633,"version":"3.49.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1007\/bf01530736","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"33-50","source":"Crossref","is-referenced-by-count":26,"title":["Representing diagnosis knowledge"],"prefix":"10.1007","volume":"11","author":[{"given":"David","family":"Poole","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"293","volume-title":"Logic and Databases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark. Negation as failure, in:Logic and Databases, eds. H. Gallaire and J. Minker (Plenum Press, New York, 1978) pp. 293?322."},{"key":"CR2","first-page":"175","volume-title":"Methodologies for Intelligent Systems 4","author":"L. Console","year":"1989","unstructured":"L. Console, D. Theseider Dupr\ufffd and P. Torasso, Abductive reasoning through direct deduction from completed domai[225zn models, in:Methodologies for Intelligent Systems 4, ed. W. R. Zbigniew (Elsiever, Amsterdam, 1989) pp. 175?182."},{"issue":"5","key":"CR3","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"L. Console, D. Theseider Dupr\ufffd and P. Torasso, On the relationship between abduction and deduction, J. Logic and Comput. 1(5):661?690, 1991.","journal-title":"J. Logic and Comput."},{"key":"CR4","volume-title":"Technical Report CS8701, Computer Science","author":"P. T. Cox","year":"1987","unstructured":"P. T. Cox and T. Pietrzykowski, General diagnosis by abductive inference, Technical Report CS8701, Computer Science, Technical University of Nove Scotia, Halifax (April 1987)."},{"key":"CR5","volume-title":"Representations of Commonsense Knowledge","author":"E. Davis","year":"1990","unstructured":"E. Davis,Representations of Commonsense Knowledge (Morgan Kaufmann, San Mateo, CA, 1990)."},{"issue":"1","key":"CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"J. de Kleer and B. C. Williams, Diagnosing multiple faults, Artificial Intelligence 32(1) (1987) 97?130.","journal-title":"Artificial Intelligence"},{"issue":"1?3","key":"CR7","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","volume":"24","author":"M. R. Genesereth","year":"1984","unstructured":"M. R. Genesereth, The use of design descriptions in automated diagnosis, Artificial Intelligence 24(1?3) (1984) 411?436.","journal-title":"Artificial Intelligence"},{"key":"CR8","volume-title":"Readings in Nonmonotonic Reasoning","year":"1987","unstructured":"M. L. Ginsberg (ed.),Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987)."},{"issue":"2?3","key":"CR9","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0004-3702(92)90073-7","volume":"53","author":"K. Konolige","year":"1992","unstructured":"K. Konolige, Abduction versus closure in causal theories, Artificial Intelligence 53(2?3) (1992) 255?272.","journal-title":"Artificial Intelligence"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"D. Lin, A probabilistic network of predicates,Proc. 8th Conf. on Uncertainty in Artificial Intelligence, eds. D. Dubois, M. P. Wellman, B. D'Ambrosio and P. Smets, Stanford University, July 1992, pp. 174?181.","DOI":"10.1016\/B978-1-4832-8287-9.50029-3"},{"key":"CR11","volume-title":"Symbolic Computation Series","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd,Foundations of Logic Programming, Symbolic Computation Series, 2nd Ed. (Springer-Verlag, Berlin, 1987).","edition":"2nd Ed."},{"key":"CR12","unstructured":"J. McCarthy and P. J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in:Machine Intelligence 4, eds. M. Meltzer and D. Michie (Edinburgh University Press, 1969) pp. 463?502."},{"issue":"2","key":"CR13","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0004-3702(88)90015-X","volume":"35","author":"J. Pearl","year":"1988","unstructured":"J. Pearl, Embracing causation in default reasoning, Artificial Intelligence 35(2) (1988) 259?271.","journal-title":"Artificial Intelligence"},{"key":"CR14","unstructured":"D. Poole, Representing knowledge for logic-based diagnosis,Int. Conf. on Fifth Generation Computing Systems, Tokyo, Japan, November 1988, pp. 1282?1290."},{"issue":"2","key":"CR15","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","volume":"5","author":"D. Poole","year":"1989","unstructured":"D. Poole, Explanation and prediction: an architecture for default and abductive reasoning, Computational Intelligence 5(2) (1989) 97?110.","journal-title":"Computational Intelligence"},{"key":"CR16","unstructured":"D. Poole, Normality and faults in logic-based diagnosis,Proc. 11th Int. Joint Conf. on Artificial Intelligence, Detroit, August 1989, pp. 1304?1310."},{"issue":"5","key":"CR17","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1002\/int.4550050506","volume":"5","author":"D. Poole","year":"1990","unstructured":"D. Poole, A methodology for using a default and abductive reasoning system, Int. J. Intelligent Syst. 5(5) (1990) 521?548.","journal-title":"Int. J. Intelligent Syst."},{"issue":"1","key":"CR18","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D. Poole","year":"1993","unstructured":"D. Poole, Probabilistic Horn abduction and Bayesian networks, Artificial Intelligence 64(1) (1993) 81?129.","journal-title":"Artificial Intelligence"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-1-4612-4792-0_13","volume-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","author":"D. Poole","year":"1987","unstructured":"D. Poole, R. Goebel and R. Aleliunas, Theorist: A logical reasoning system for defaults and diagnosis, in:The Knowledge Frontier: Essays in the Representation of Knowledge, eds. N. Cereone and G. McCalla (Springer-Verlag, New York, NY, 1987) pp. 331?352."},{"key":"CR20","first-page":"89","volume-title":"Uncertainty in Artificial Intelligence 6","author":"D. Poole","year":"1991","unstructured":"D. Poole and G. Provan, What is the most likely diagnosis? in:Uncertainty in Artificial Intelligence 6, eds. P. P. Bonissone, M. Henrion, L. N. Kanal and J. F. Lemmer (Elsevier, Amsterdam, 1991) pp. 89?105."},{"key":"CR21","unstructured":"H. E. Pople, Jr., On the mechanization of abductive logic,Proc. 3rd Int. Joint Conf. on Artificial Intelligence, Stanford, August 1973, pp. 147?152."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"J. Reggia, D. Nau and P. Wang, A formal model of diagnostic inference, Inf. Sci. (1985) 227?285.","DOI":"10.1016\/0020-0255(85)90015-5"},{"issue":"1","key":"CR23","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(1) (1987) 57?95.","journal-title":"Artificial Intelligence"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530736\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530736.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530736\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:01:30Z","timestamp":1586217690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530736"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":23,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530736"],"URL":"https:\/\/doi.org\/10.1007\/bf01530736","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}