Diagnosis based on explicit means-end models

Strips: A new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations

Computing, Computer Science, Artificial Intelligence +15

Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy

Paul M. Frank · Automatica · 1990 · 3.5K citations

Engineering, Computer Engineering, Systems Engineering +16

A theory of diagnosis from first principles

Raymond Reiter · Artificial Intelligence · 1987 · 2.9K citations

Social Sciences, Psychology, Diagnostic Reasoning +6

Proceedings of the 1999 American Control Conference

1999 · 2.9K citations

Engineering, Public Policy, Process Control +6

Computer-Based Medical Consultations: MYCIN.

Annals of Internal Medicine · 1976 · 2.5K citations

Computing, Biomedical Informatics, Health Informatics +9