Compressed Embedded Diagnosis of Logic Cores.
Scott OllivierreAdam B. KinsmanNicola NicoliciPublished in: ICCD (2004)
Keyphrases
- fault diagnosis
- model based diagnosis
- logic programming
- data structure
- classical logic
- modal logic
- medical diagnosis
- causal reasoning
- embedded systems
- predicate logic
- dynamic random access memory
- data compression
- neural network
- model based reasoning
- attention deficit hyperactivity disorder
- default logic
- multi agent systems
- fault detection
- automated reasoning
- multi valued
- multiple faults