Debugging by diagnosing assumptions

This publication has 6 references indexed in Scilit:

• A theory of diagnosis from first principles
  Published by Elsevier ,2003
• Diagnosis and debugging as contradiction removal in logic programs
  Published by Springer Nature ,1993
• A correction to the algorithm in reiter's theory of diagnosis
  Artificial Intelligence, 1989
• Every logic program has a natural stratification and an iterated least fixed point model
  Published by Association for Computing Machinery (ACM) ,1989
• Declarative error diagnosis
  New Generation Computing, 1987
• Foundations of Logic Programming
  Published by Springer Nature ,1984