A new diagnosis approach by deduction and abduction

This publication has 10 references indexed in Scilit:

• A theory of diagnosis from first principles
  Published by Elsevier ,2003
• Model-based Reasoning: Troubleshooting
  Published by Elsevier ,1988
• Using Theory Resolution to Simplify Interpreted Formulae
  Published by Springer Nature ,1988
• Diagnosing multiple faults
  Artificial Intelligence, 1987
• Termination of rewriting
  Journal of Symbolic Computation, 1987
• Causes for events: Their computation and applications
  Published by Springer Nature ,1986
• A formal model of diagnostic inference. I. Problem formulation and decomposition
  Information Sciences, 1985
• Automated deduction by theory resolution
  Journal of Automated Reasoning, 1985
• Diagnostic reasoning based on structure and behavior
  Artificial Intelligence, 1984
• On Cores and Prime Implicants of Truth Functions
  The American Mathematical Monthly, 1959