Model-based diagnosis meets error diagnosis in logic programs
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Model-based diagnosis meets error diagnosis in logic programsPublished by Springer Nature ,1993
- Characterizing diagnoses and systemsArtificial Intelligence, 1992
- A spectrum of logical definitions of model‐based diagnosis1Computational Intelligence, 1991
- Diagnosing multiple faultsArtificial Intelligence, 1987
- A theory of diagnosis from first principlesArtificial Intelligence, 1987