Model-based diagnosis meets error diagnosis in logic programs
Authors:
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 85-87
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Model-based diagnosis meets error diagnosis in logic programs1993
- 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
- Algorithmic Program Debugging1983