Diagnostic reasoning based on structure and behavior
- 1 December 1984
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 24 (1-3), 347-410
- https://doi.org/10.1016/0004-3702(84)90042-0
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Reasoning from first principles in electronic troubleshootingInternational Journal of Man-Machine Studies, 1983
- Fault Diagnosis in Synchronous Sequential Circuits Based on an Effect–Cause AnalysisIEEE Transactions on Computers, 1982
- HISDL—a structure description languageCommunications of the ACM, 1982
- Constraints—A language for expressing almost-hierarchical descriptionsArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977
- Production rules as a representation for a knowledge-based consultation programArtificial Intelligence, 1977
- Diagnosis of Automata Failures: A Calculus and a MethodIBM Journal of Research and Development, 1966