Probabilistic Horn Abduction and Bayesian Networks

[1]  John S. Breese,et al.  CONSTRUCTION OF BELIEF AND DECISION NETWORKS , 1992, Comput. Intell..

[2]  D. Poole.  Search for computing posterior probabilities in Bayesian networks , 1992 .

[3]  V. S. Subrahmanian,et al.  Empirical Probabilities in Monadic Deductive Databases , 1992, UAI.

[4]  Kurt Konolige,et al.  Abduction Versus Closure in Causal Theories , 1992, Artif. Intell..

[5]  Charles Elkan,et al.  Reasoning about Action in First-Order Logic , 1992 .

[6]  Pietro Torasso,et al.  On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..

[7]  R. Ledley,et al.  Reasoning foundations of medical diagnosis. , 1991, M.D. computing : computers in medical practice.

[8]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[9]  David Poole,et al.  Representing Diagnostic Knowledge for Probabilistic Horn Abduction , 1991, IJCAI.

[10]  David L. Poole,et al.  Representing Bayesian Networks Within Probabilistic Horn Abduction , 1991, UAI.

[11]  V. S. Subrahmanian,et al.  Non-Monotonic Negation in Probabilistic Deductive Databases , 1991, UAI.

[12]  Fahiem Bacchus,et al.  Lp, a logic for representing and reasoning with statistical knowledge , 1990, Comput. Intell..

[13]  Raymond Reiter,et al.  Characterizing Diagnoses , 1990, AAAI.

[14]  Solomon Eyal Shimony,et al.  Probabilistic Semantics for Cost Based Abduction , 1990, AAAI.

[15]  Gregory M. Provan,et al.  What is the most likely diagnosis? , 1990, UAI.

[16]  Solomon Eyal Shimony,et al.  A new algorithm for finding MAP assignments to belief networks , 1990, UAI.

[17]  Franco Turini,et al.  A Transformational Approach to Negation in Logic Programming , 1990, J. Log. Program..

[18]  David Poole,et al.  A methodology for using a default and abductive reasoning system , 1989, Int. J. Intell. Syst..

[19]  J. Reggia,et al.  Abductive Inference Models for Diagnostic Problem-Solving , 1990, Symbolic Computation.

[20]  Steffen L. Lauritzen,et al.  Bayesian updating in causal probabilistic networks by local computations , 1990 .

[21]  David Poole,et al.  A Dynamic Approach to Probabilistic Inference using Bayesian Networks , 1990, UAI 1990.

[22]  Ronald Prescott Loui.  Defeasible Decisions: What the Proposal Is and Isn't , 1989, UAI.

[23]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[24]  Raymond Reiter,et al.  A Logical Framework for Depiction and Image Interpretation , 1989, Artif. Intell..

[25]  Kathryn B. Laskey,et al.  Assumptions, Beliefs and Probabilities , 1989, Artif. Intell..

[26]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[27]  David Poole,et al.  Normality and Faults in Logic-Based Diagnosis , 1989, IJCAI.

[28]  Gregory M. Provan.  An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions , 1989, IJCAI.

[29]  Robert P. Goldman,et al.  A Semantics for Probabilistic Quantifier-Free First-Order Languages, with Particular Application to Story Understanding , 1989, IJCAI.

[30]  Murray Shanahan,et al.  Prediction is Deduction but Explanation is Abduction , 1989, IJCAI.

[31]  David Poole,et al.  Explanation and prediction: an architecture for default and abductive reasoning , 1989, Comput. Intell..

[32]  Max Henrion,et al.  An Introduction to Algorithms for Inference in Belief Nets , 1989, UAI.

[33]  Fangzhen Lin,et al.  Argument Systems: A Uniform Basis for Nonmonotonic Reasoning , 1989, KR.

[34]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[35]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[36]  Jerry R. Hobbs,et al.  Interpretation as Abduction , 1988, ACL.

[37]  Judea Pearl,et al.  Embracing Causality in Default Reasoning , 1988, Artif. Intell..

[38]  Eric Neufeld,et al.  Towards solving the multiple extension problem: Combining defaults and probabilities , 1987, Int. J. Approx. Reason..

[39]  David Poole,et al.  Representing Knowledge for Logic-Based Diagnosis , 1988, FGCS.

[40]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[41]  Judea Pearl,et al.  Distributed Revision of Composite Beliefs , 1987, Artif. Intell..

[42]  Ross D. Shachter,et al.  Thinking Backward for Knowledge Acquisition , 1987, AI Mag..

[43]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[44]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[45]  Ronald Prescott Loui,et al.  Defeat among arguments: a system of defeasible inference , 1987, Comput. Intell..

[46]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[47]  Randy Goebel,et al.  Theorist: A Logical Reasoning System for Defaults and Diagnosis , 1987 .

[48]  Philip T. Cox,et al.  General Diagnosis by Abductive Inference , 1987, SLP.

[49]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[50]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[51]  Some philosophical problems from the standpoint of ai , 1987 .

[52]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[53]  Koichi Furukawa,et al.  Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning , 1986, ICLP.

[54]  M. H. van Emden,et al.  Quantitative Deduction and its Fixpoint Theory , 1986, J. Log. Program..

[55]  Michael R. Genesereth,et al.  The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..

[56]  Jon Doyle,et al.  Methodological Simplicity in Expert System Construction: The Case of Judgments and Reasoned Assumptions , 1983, AI Mag..

[57]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[58]  Raymond Reiter,et al.  Equality and Domain Closure in First-Order Databases , 1980, JACM.

[59]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[60]  Harry E. Pople,et al.  Session 6 Theorem Proving and Logic: I I ON THE MECHANIZATION OF ABDUCTIVE LOGIC , 2006 .

[61]  O. Penrose.  The Direction of Time , 1962 .

[62]  R S LEDLEY,et al.  Reasoning foundations of medical diagnosis; symbolic logic, probability, and value theory aid our understanding of how physicians reason. , 1959, Science.