Switch to: References

Add citations

You must login to add citations.
  1. Controlling recursive inference.David E. Smith, Michael R. Genesereth & Matthew L. Ginsberg - 1986 - Artificial Intelligence 30 (3):343-389.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Chronological ignorance: Experiments in nonmonotonic temporal reasoning.Yoav Shoham - 1988 - Artificial Intelligence 36 (3):279-331.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • HINT-High Level Inferencing Tool: An Expert System for the Interpretation of Neurophysiological Studies.I. S. Schofield - 1998 - Journal of Intelligent Systems 8 (1-2):81-98.
    Download  
     
    Export citation  
     
    Bookmark  
  • A linear constraint satisfaction approach to cost-based abduction.Eugene Santos - 1994 - Artificial Intelligence 65 (1):1-27.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Goal-directed diagnosis—a diagnostic reasoning framework for exploratory-corrective domains.Ron Rymon - 1996 - Artificial Intelligence 84 (1-2):257-297.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
    Download  
     
    Export citation  
     
    Bookmark   134 citations  
  • Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks.David Poole - 1996 - Artificial Intelligence 88 (1-2):69-100.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Probabilistic Horn abduction and Bayesian networks.David Poole - 1993 - Artificial Intelligence 64 (1):81-129.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Logic and artificial intelligence.Nils J. Nilsson - 1991 - Artificial Intelligence 47 (1-3):31-56.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Model-based diagnostics and probabilistic assumption-based reasoning.J. Kohlas, B. Anrig, R. Haenni & P. A. Monney - 1998 - Artificial Intelligence 104 (1-2):71-106.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A theory of measurement in diagnosis from first principles.Aimin Hou - 1994 - Artificial Intelligence 65 (2):281-328.
    Download  
     
    Export citation  
     
    Bookmark  
  • Modeling digital circuits for troubleshooting.Walter C. Hamscher - 1991 - Artificial Intelligence 51 (1-3):223-271.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Counterfactuals.Matthew L. Ginsberg - 1986 - Artificial Intelligence 30 (1):35-79.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • From Dart to Designworld: a chronicle of research on automated engineering in the Stanford Logic Group.Michael R. Genesereth - 1993 - Artificial Intelligence 59 (1-2):159-165.
    Download  
     
    Export citation  
     
    Bookmark  
  • Using crude probability estimates to guide diagnosis.Johan de Kleer - 1990 - Artificial Intelligence 45 (3):381-391.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Model-based reasoning about learner behaviour.Kees de Koning, Bert Bredeweg, Joost Breuker & Bob Wielinga - 2000 - Artificial Intelligence 117 (2):173-229.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Diagnosing multiple faults.Johan de Kleer & Brian C. Williams - 1987 - Artificial Intelligence 32 (1):97-130.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • Characterizing diagnoses and systems.Johan de Kleer, Alan K. Mackworth & Raymond Reiter - 1992 - Artificial Intelligence 56 (2-3):197-222.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Structure-driven algorithms for truth maintenance.Rina Dechter & Avi Dechter - 1996 - Artificial Intelligence 82 (1-2):1-20.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Model construction operators.William J. Clancey - 1992 - Artificial Intelligence 53 (1):1-115.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Heuristic classification.William J. Clancey - 1985 - Artificial Intelligence 27 (3):289-350.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Hierarchical model-based diagnosis based on structural abstraction.Luca Chittaro & Roberto Ranon - 2004 - Artificial Intelligence 155 (1-2):147-182.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Cost-based abduction and MAP explanation.Eugene Charniak & Solomon Eyal Shimony - 1994 - Artificial Intelligence 66 (2):345-374.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • A spectrum of definitions for temporal model-based diagnosis.Vittorio Brusoni, Luca Console, Paolo Terenziani & Daniele Theseider Dupré - 1998 - Artificial Intelligence 102 (1):39-79.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Abduction as belief revision.Craig Boutilier & Veronica Beche - 1995 - Artificial Intelligence 77 (1):43-94.
    Download  
     
    Export citation  
     
    Bookmark   38 citations