Diagnostic Reasoning Based on Structure and Behavior

This publication has 10 references indexed in Scilit:

• A Qualitative Physics Based on Confluences
  Published by Elsevier ,1984
• Reasoning from first principles in electronic troubleshooting
  International Journal of Man-Machine Studies, 1983
• Fault Diagnosis in Synchronous Sequential Circuits Based on an Effect–Cause Analysis
  IEEE Transactions on Computers, 1982
• HISDL—a structure description language
  Communications of the ACM, 1982
• The CRITTER System: Analyzing Digital Circuits by Propagating Behavior and Specifications
  Published by Defense Technical Information Center (DTIC) ,1982
• Constraints—A language for expressing almost-hierarchical descriptions
  Artificial Intelligence, 1980
• A truth maintenance system
  Artificial Intelligence, 1979
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
  Artificial Intelligence, 1977
• Production rules as a representation for a knowledge-based consultation program
  Artificial Intelligence, 1977
• Diagnosis of Automata Failures: A Calculus and a Method
  IBM Journal of Research and Development, 1966