Design and implementation of diagnostic strategies using modal logic
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 104-118
- https://doi.org/10.1007/3-540-61630-6_7
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A theory of diagnosis from first principlesPublished by Elsevier ,2003
- A framework for controlling model-based diagnosis systems with multiple actionsAnnals of Mathematics and Artificial Intelligence, 1994
- Modeling digital circuits for troubleshootingArtificial Intelligence, 1991
- Hierarchical model-based diagnosisInternational Journal of Man-Machine Studies, 1991
- Diagnosing multiple faultsArtificial Intelligence, 1987
- The use of design descriptions in automated diagnosisArtificial Intelligence, 1984
- Diagnostic reasoning based on structure and behaviorArtificial Intelligence, 1984