The use of design descriptions in automated diagnosis

A Machine-Oriented Logic Based on the Resolution Principle

1965 • 3,880 citations

Computer-Based Medical Consultations: MYCIN.

1976 • 2,559 citations

Proceedings of the National Conference on Artificial Intelligence

2015 • 1,228 citations

Planning with constraints (MOLGEN: Part 1)

1981 • 827 citations

Diagnosis and Reliable Design of Digital Systems

1976 • 540 citations

Constraints—A language for expressing almost-hierarchical descriptions

1980 • 443 citations

Programmed Algorithms to Compute Tests to Detect and Distinguish Between Failures in Logic Circuits

1967 • 378 citations

Polynomially Complete Fault Detection Problems

1975 • 280 citations

The formation of composite hypotheses in diagnostic problem solving: an exercise in synthetic reasoning

1977 • 218 citations

Test generation costs analysis and projections

1980 • 174 citations

DIALOG: a model of diagnostic logic for internal medicine

1975 • 152 citations

Diagnosis based on description of structure and function

1982 • 147 citations

Diagnosis using hierarchical design models

1982 • 114 citations

Palladio: An exploratory environment for circuit design

1983 • 94 citations

Diagnosis and reliable design of digital systems

1977 • 93 citations

Finding all of the Solutions to a Problem

1983 • 5 citations