Speeding Up Emulation-Based Diagnosis Techniques for Logic Cores.
Shyue-Kung LuYin ChenShi-Yu HuangCheng WuPublished in: IEEE Des. Test Comput. (2011)
Keyphrases
- modal logic
- logic programming
- medical diagnosis
- multi valued
- model based reasoning
- classical logic
- predicate logic
- multiple faults
- automatic diagnosis
- fault detection
- expert systems
- epistemic logic
- heart disease
- causal reasoning
- defeasible logic
- computational properties
- logical framework
- model based diagnosis
- fault models
- diagnostic tests
- attention deficit hyperactivity disorder
- proof theory
- deontic logic
- diagnostic reasoning
- inference rules
- fault diagnosis
- logic programs
- general purpose