Retrospective on "Diagnostic Reasoning Based on Structure and Behavior"

[1]  Walter Hamscher,et al.  Modeling Digital Circuits for Troubleshooting , 1991, Artif. Intell..

[2]  Sanjaya Addanki,et al.  Graphs of Models , 1991, Artif. Intell..

[3]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[4]  Johan de Kleer.  Focusing on Probable Diagnoses , 1991, AAAI.

[5]  Georg Gottlob,et al.  Physical Impossibility Instead of Fault Models , 1990, AAAI.

[6]  Peter Struss,et al.  "Physical Negation" Integrating Fault Models into the General Diagnostic Engine , 1989, IJCAI.

[7]  Peng Wu,et al.  Design for Testability , 1982, 19th Design Automation Conference.

[8]  Reid G. Simmons,et al.  Generate, Test and Debug: Combining Associational Rules and Causal Models , 1987, IJCAI.

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

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

[11]  Mark Harper Shirley.  Generating Tests by Exploiting Designed Behavior , 1986, AAAI.

[12]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[13]  R A Miller,et al.  LOCALIZE: computer-assisted localization of peripheral nervous system lesions. , 1982, Computers and biomedical research, an international journal.

[14]  Randall Davis,et al.  Expert Systems: Where Are We? And Where Do We Go from Here? , 1982, AI Mag..

[15]  Chuck Rieger,et al.  The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms , 1977, IJCAI.

[16]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..