Temporal Causal Abduction

This publication has 13 references indexed in Scilit:

• Temporal logic based on characteristic functions
  Lecture Notes in Computer Science, 1995
• Integration of Fault Detection and Diagnosis Methods
  IFAC Proceedings Volumes, 1994
• Characterizing diagnoses and systems
  Artificial Intelligence, 1992
• An approach to the compilation of operational knowledge from casual models
  IEEE Transactions on Systems, Man, and Cybernetics, 1992
• Model-based diagnosis of complex systems: Structuring and temporal reasoning
  IFAC Proceedings Volumes, 1991
• A spectrum of logical definitions of model‐based diagnosis1
  Computational Intelligence, 1991
• Exact and approximate reasoning about temporal relations1
  Computational Intelligence, 1990
• Sidia: Extending prediction based diagnosis to dynamic models
  1990
• Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report
  1990
• A theory of diagnosis from first principles
  Artificial Intelligence, 1987