Keyphrases
- repair actions
- modal logic
- logic programming
- medical diagnosis
- formal language
- fault detection
- fault isolation
- natural language
- fault diagnosis
- context free grammars
- multiple faults
- automatic diagnosis
- diagnostic tests
- proof theory
- asynchronous circuits
- diagnostic reasoning
- multi valued
- automated reasoning
- model based diagnosis
- deontic logic
- model based reasoning
- attention deficit hyperactivity disorder
- graph grammars
- context dependent
- damage assessment
- defeasible logic
- clinically relevant
- classical logic
- fault models
- genetic algorithm
- mildly context sensitive