Using Logic Programming for Fault Diagnosis in Digital Circuits
Authors:
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 139-148
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The use of design descriptions in automated diagnosisArtificial Intelligence, 1984
- Diagnostic reasoning based on structure and behaviorArtificial Intelligence, 1984
- Constraints—A language for expressing almost-hierarchical descriptionsArtificial Intelligence, 1980