HELIX: A helicopter diagnostic system based on qualitative physics

Diagnosing multiple faults

Johan de Kleer, Brian C. Williams · Artificial Intelligence · 1987 · 2.1K citations

A Mathematical Theory of Evidence.

Alistair Smith, Glenn Shafer · Biometrics · 1976 · 1.6K citations

Natural Sciences, Mathematics, Probability Theory +9

A qualitative physics based on confluences

Johan de Kleer, John Seely Brown · Artificial Intelligence · 1984 · 1.5K citations

Natural Sciences, Physics, Mathematical Physics +5

Diagnostic reasoning based on structure and behavior

Randall Davis · Artificial Intelligence · 1984 · 975 citations · Full text

Computing, Computer Science, Diagnostic Reasoning +7

Commonsense reasoning about causality: Deriving behavior from structure

Benjamin Kuipers · Artificial Intelligence · 1984 · 519 citations

Computing, Physics, Causal Inference +8