{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T00:44:45Z","timestamp":1767919485465,"version":"3.49.0"},"reference-count":65,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1993,11,1]],"date-time":"1993-11-01T00:00:00Z","timestamp":752112000000},"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":[[1993,11]]},"DOI":"10.1016\/0004-3702(93)90061-f","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"81-129","source":"Crossref","is-referenced-by-count":293,"title":["Probabilistic Horn abduction and Bayesian networks"],"prefix":"10.1016","volume":"64","author":[{"given":"David","family":"Poole","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"3\u20134","key":"10.1016\/0004-3702(93)90061-F_BIB1","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037168","article-title":"Acyclic programs","volume":"9","author":"Apt","year":"1991","journal-title":"New Gen. Comput."},{"issue":"4","key":"10.1016\/0004-3702(93)90061-F_BIB2","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1111\/j.1467-8640.1990.tb00296.x","article-title":"Lp, a logic for representing and reasoning with statistical knowledge","volume":"6","author":"Bacchus","year":"1990","journal-title":"Comput. Intell."},{"key":"10.1016\/0004-3702(93)90061-F_BIB3","author":"Bacchus","year":"1990"},{"key":"10.1016\/0004-3702(93)90061-F_BIB4","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0743-1066(90)90023-X","article-title":"A transformational approach to negation in logic programming","volume":"8","author":"Barbuti","year":"1990","journal-title":"J. Logic Program."},{"key":"10.1016\/0004-3702(93)90061-F_BIB5","article-title":"Construction of belief and decision networks","author":"Breese","year":"1989"},{"key":"10.1016\/0004-3702(93)90061-F_BIB6","series-title":"Proceedings IJCAI-89","first-page":"1074","article-title":"A semantics for probabilistic quantifier-free first-order languages, with particular application to story understanding","author":"Charniak","year":"1989"},{"key":"10.1016\/0004-3702(93)90061-F_BIB7","series-title":"Proceedings AAAI-90","first-page":"106","article-title":"Probabilistic semantics for cost based abduction","author":"Charniak","year":"1990"},{"key":"10.1016\/0004-3702(93)90061-F_BIB8","series-title":"Logic and Databases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"issue":"5","key":"10.1016\/0004-3702(93)90061-F_BIB9","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","article-title":"On the relationship between abduction and deduction","volume":"1","author":"Console","year":"1991","journal-title":"J. Logic Comput."},{"key":"10.1016\/0004-3702(93)90061-F_BIB10","article-title":"General diagnosis by abductive inference","author":"Cox","year":"1987"},{"issue":"2","key":"10.1016\/0004-3702(93)90061-F_BIB11","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based TMS","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90061-F_BIB12","series-title":"Proceedings AAAI-90","first-page":"324","article-title":"Characterizing diagnoses","author":"de Kleer","year":"1990"},{"issue":"1","key":"10.1016\/0004-3702(93)90061-F_BIB13","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","article-title":"Diagnosing multiple faults","volume":"32","author":"de Kleer","year":"1987","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90061-F_BIB14","series-title":"Proceedings IJCAI-89","first-page":"1324","article-title":"Diagnosis with behavioral modes","author":"de Kleer","year":"1989"},{"issue":"2","key":"10.1016\/0004-3702(93)90061-F_BIB15","first-page":"39","article-title":"Methodological simplicity in expert system construction: the case for judgments and reasoned assumptions","volume":"4","author":"Doyle","year":"1983","journal-title":"AI Mag."},{"key":"10.1016\/0004-3702(93)90061-F_BIB16","series-title":"Proceedings Ninth Biennial Conference of the Canadian Society for Computational Studies of Intelligence","first-page":"221","article-title":"Reasoning about action in first-order logic","author":"Elkan","year":"1992"},{"issue":"1\u20133","key":"10.1016\/0004-3702(93)90061-F_BIB17","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","article-title":"The use of design descriptions in automated diagnosis","volume":"24","author":"Genesereth","year":"1984","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90061-F_BIB18","series-title":"Proceedings Third International Conference on Logic Programming","first-page":"211","article-title":"Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning","author":"Goebel","year":"1986"},{"key":"10.1016\/0004-3702(93)90061-F_BIB19","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","article-title":"Nonmonotonic logic and temporal projection","volume":"33","author":"Hanks","year":"1987","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90061-F_BIB20","first-page":"129","article-title":"An introduction to algorithms for inference in belief nets","volume":"5","author":"Henrion","year":"1990"},{"key":"10.1016\/0004-3702(93)90061-F_BIB21","series-title":"Proceedings 26th Annual Meeting of the Association for Computational Linguistics","first-page":"95","article-title":"Interpretation as abduction","author":"Hobbs","year":"1988"},{"key":"10.1016\/0004-3702(93)90061-F_BIB22","series-title":"Proceedings Sixth Conference on Uncertainty in Artificial Intelligence","first-page":"155","article-title":"A dynamic approach to probabilistic inference using Bayesian networks","author":"Horsch","year":"1990"},{"key":"10.1016\/0004-3702(93)90061-F_BIB23","first-page":"269","article-title":"Bayesian updating in causal probabilistic networks by local computations","volume":"4","author":"Jensen","year":"1990","journal-title":"Comput. Stat. Q."},{"issue":"2\u20133","key":"10.1016\/0004-3702(93)90061-F_BIB24","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0004-3702(92)90073-7","article-title":"Abduction versus closure in causal theories","volume":"53","author":"Konolige","year":"1992","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90061-F_BIB25","author":"Kowalski","year":"1979"},{"issue":"1","key":"10.1016\/0004-3702(93)90061-F_BIB26","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(89)90078-7","article-title":"Assumptions, beliefs and probabilities","volume":"41","author":"Laskey","year":"1990","journal-title":"Artif. Intell."},{"issue":"2","key":"10.1016\/0004-3702(93)90061-F_BIB27","first-page":"157","article-title":"Local computations with probabilities on graphical structures and their application to expert systems","volume":"50","author":"Lauritzen","year":"1988","journal-title":"J. R. Stat. Soc. Ser. B"},{"issue":"3366","key":"10.1016\/0004-3702(93)90061-F_BIB28","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1126\/science.130.3366.9","article-title":"Reasoning foundations of medical diagnosis","volume":"130","author":"Ledley","year":"1959","journal-title":"Science"},{"key":"10.1016\/0004-3702(93)90061-F_BIB29","series-title":"Proceedings First International Conference on Principles of Knowledge Representation and Reasoning","first-page":"245","article-title":"Argument systems: a uniform basis for nonmonotonic reasoning","author":"Lin","year":"1989"},{"key":"10.1016\/0004-3702(93)90061-F_BIB30","author":"Lloyd","year":"1987"},{"issue":"2","key":"10.1016\/0004-3702(93)90061-F_BIB31","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1111\/j.1467-8640.1987.tb00178.x","article-title":"Defeat among arguments: a system for defeasible inference","volume":"3","author":"Loui","year":"1987","journal-title":"Comput. Intell."},{"key":"10.1016\/0004-3702(93)90061-F_BIB32","first-page":"99","article-title":"Defeasible decisions: what the proposal is and isn't","volume":"5","author":"Loui","year":"1990"},{"key":"10.1016\/0004-3702(93)90061-F_BIB33","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"4","author":"McCarthy","year":"1969"},{"key":"10.1016\/0004-3702(93)90061-F_BIB34","series-title":"Proceedings Third Workshop on Reasoning with Uncertainty","first-page":"305","article-title":"Towards solving the multiple extension problem: combining defaults and probabilities","author":"Neufeld","year":"1987"},{"key":"10.1016\/0004-3702(93)90061-F_BIB35","series-title":"Proceedings Seventh Conference on Uncertainty in Artificial Intelligence","first-page":"249","article-title":"Non-monotonic negation in probabilistic deductive databases","author":"Ng","year":"1991"},{"key":"10.1016\/0004-3702(93)90061-F_BIB36","series-title":"Proceedings Eighth Conference on Uncertainty in Artificial Intelligence","first-page":"215","article-title":"Empirical probabilities in monadic deductive databases","author":"Ng","year":"1992"},{"issue":"2","key":"10.1016\/0004-3702(93)90061-F_BIB37","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0004-3702(87)90034-8","article-title":"Distributed revision of composite beliefs","volume":"33","author":"Pearl","year":"1987","journal-title":"Artif. Intell."},{"issue":"2","key":"10.1016\/0004-3702(93)90061-F_BIB38","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0004-3702(88)90015-X","article-title":"Embracing causality in default reasoning","volume":"35","author":"Pearl","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90061-F_BIB39","author":"Pearl","year":"1988"},{"key":"10.1016\/0004-3702(93)90061-F_BIB40","author":"Peng","year":"1990"},{"key":"10.1016\/0004-3702(93)90061-F_BIB41","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","article-title":"Defeasible reasoning","volume":"11","author":"Pollock","year":"1987","journal-title":"Cogn. Sci."},{"issue":"1","key":"10.1016\/0004-3702(93)90061-F_BIB42","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","article-title":"A logical framework for default reasoning","volume":"36","author":"Poole","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90061-F_BIB43","series-title":"Proceedings International Conference on Fifth Generation Computing Systems","first-page":"1282","article-title":"Representing knowledge for logic-based diagnosis","author":"Poole","year":"1988"},{"issue":"2","key":"10.1016\/0004-3702(93)90061-F_BIB44","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","article-title":"Explanation and prediction: an architecture for default and abductive reasoning","volume":"5","author":"Poole","year":"1989","journal-title":"Comput. Intell."},{"key":"10.1016\/0004-3702(93)90061-F_BIB45","series-title":"Proceedings IJCAI-89","first-page":"1304","article-title":"Normality and faults in logic-based diagnosis","author":"Poole","year":"1989"},{"issue":"5","key":"10.1016\/0004-3702(93)90061-F_BIB46","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1002\/int.4550050506","article-title":"A methodology for using a default and abductive reasoning system","volume":"5","author":"Poole","year":"1990","journal-title":"Int. J. Intell. Syst."},{"key":"10.1016\/0004-3702(93)90061-F_BIB47","series-title":"Proceedings IJCAI-91","first-page":"1129","article-title":"Representing diagnostic knowledge for probabilistic Horn abduction","author":"Poole","year":"1991"},{"key":"10.1016\/0004-3702(93)90061-F_BIB48","series-title":"Proceedings Seventh Conference on Uncertainty in Artificial Intelligence","first-page":"271","article-title":"Representing Bayesian networks within probabilistic Horn abduction","author":"Poole","year":"1991"},{"key":"10.1016\/0004-3702(93)90061-F_BIB49","series-title":"Proceedings International Conference on Fifth Generation Computer Systems (FGCS-92)","first-page":"530","article-title":"Logic programming, abduction and probability","author":"Poole","year":"1992"},{"key":"10.1016\/0004-3702(93)90061-F_BIB50","article-title":"Search for computing posterior probabilities in Bayesian networks","author":"Poole","year":"1992"},{"key":"10.1016\/0004-3702(93)90061-F_BIB51","series-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","first-page":"331","article-title":"Theorist: a logical reasoning system for defaults and diagnosis","author":"Poole","year":"1987"},{"key":"10.1016\/0004-3702(93)90061-F_BIB52","first-page":"89","article-title":"What is the most likely diagnosis?","volume":"6","author":"Poole","year":"1991"},{"key":"10.1016\/0004-3702(93)90061-F_BIB53","series-title":"Proceedings IJCAI-73","first-page":"147","article-title":"On the mechanization of abductive logic","author":"Pople","year":"1973"},{"key":"10.1016\/0004-3702(93)90061-F_BIB54","series-title":"Proceedings IJCAI-89","first-page":"1115","article-title":"An analysis of ATMS-based techniques for computing Dempster-Shafer belief functions","author":"Provan","year":"1989"},{"key":"10.1016\/0004-3702(93)90061-F_BIB55","author":"Reichenbach","year":"1956"},{"key":"10.1016\/0004-3702(93)90061-F_BIB56","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/322186.322189","article-title":"Equality and domain closure in first order data bases","volume":"27","author":"Reiter","year":"1980","journal-title":"J. ACM"},{"issue":"1","key":"10.1016\/0004-3702(93)90061-F_BIB57","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90061-F_BIB58","series-title":"Artificial Intelligence and the Mathematical Theory of Computation: Papers in Honor of John McCarthy","first-page":"359","article-title":"The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression","author":"Reiter","year":"1991"},{"key":"10.1016\/0004-3702(93)90061-F_BIB59","series-title":"Proceedings AAAI-87","first-page":"183","article-title":"Foundations of assumption-based truth maintenance systems: preliminary report","author":"Reiter","year":"1987"},{"issue":"2","key":"10.1016\/0004-3702(93)90061-F_BIB60","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(89)90008-8","article-title":"A logical framework for depiction and image interpretation","volume":"41","author":"Reiter","year":"1989","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90061-F_BIB61","first-page":"55","article-title":"Thinking backwards for knowledge acquisition","volume":"8","author":"Shachter","year":"1987","journal-title":"AI Mag."},{"key":"10.1016\/0004-3702(93)90061-F_BIB62","series-title":"Proceedings IJCAI-89","first-page":"1055","article-title":"Prediction is deduction, but explanation is abduction","author":"Shanahan","year":"1989"},{"key":"10.1016\/0004-3702(93)90061-F_BIB63","series-title":"Proceedings Sixth Conference on Uncertainty in Artificial Intelligence","first-page":"98","article-title":"A new algorithm for finding MAP assignments to belief networks","author":"Shimony","year":"1990"},{"key":"10.1016\/0004-3702(93)90061-F_BIB64","author":"Sterling","year":"1986"},{"issue":"1","key":"10.1016\/0004-3702(93)90061-F_BIB65","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","article-title":"Quantitative deduction and its fixpoint theory","volume":"4","author":"van Emden","year":"1986","journal-title":"J. Logic Program."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029390061F?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029390061F?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:54:54Z","timestamp":1553648094000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029390061F"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,11]]},"references-count":65,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,11]]}},"alternative-id":["000437029390061F"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(93)90061-f","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1993,11]]}}}