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 6 references indexed in Scilit:
- A theory of diagnosis from first principlesPublished by Elsevier ,2003
- 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
- Algorithmic Program DebuggingPublished by MIT Press ,1983