Contradiction: When avoidance equals removal Part II
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 268-281
- https://doi.org/10.1007/3-540-58025-5_61
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A theory of diagnosis from first principlesPublished by Elsevier ,2003
- Contradiction: When avoidance equals removal Part IPublished by Springer Nature ,1994
- Diagnosis and debugging as contradiction removal in logic programsPublished by Springer Nature ,1993
- The extended stable models of contradiction removal semanticsPublished by Springer Nature ,1991
- Every logic program has a natural stratification and an iterated least fixed point modelPublished by Association for Computing Machinery (ACM) ,1989