Diagnosis and debugging as contradiction removal in logic programs
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 183-197
- https://doi.org/10.1007/3-540-57287-2_47
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A theory of diagnosis from first principlesPublished by Elsevier ,2003
- Diagnosis and debugging as contradiction removal in logic programsPublished by Springer Nature ,1993
- Updating knowledge bases IINew Generation Computing, 1991
- A spectrum of logical definitions of model‐based diagnosis1Computational Intelligence, 1991
- The extended stable models of contradiction removal semanticsPublished by Springer Nature ,1991
- Updating knowledge basesNew Generation Computing, 1990
- A correction to the algorithm in reiter's theory of diagnosisArtificial Intelligence, 1989
- Declarative error diagnosisNew Generation Computing, 1987