Characterizing diagnoses
- 1 January 1990
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Model-Based Troubleshooting of Digital SystemsPublished by Defense Technical Information Center (DTIC) ,1988
- Model-based Reasoning: TroubleshootingPublished by Elsevier BV ,1988
- Diagnosing multiple faultsArtificial Intelligence, 1987
- A theory of diagnosis from first principlesArtificial Intelligence, 1987
- The use of design descriptions in automated diagnosisArtificial Intelligence, 1984
- Diagnostic reasoning based on structure and behaviorArtificial Intelligence, 1984
- Logic Minimization Algorithms for VLSI SynthesisPublished by Springer Science and Business Media LLC ,1984
- A New Algorithm for Generating Prime ImplicantsIEEE Transactions on Computers, 1970