Keyphrases
- multiple faults
- model based diagnosis
- fault diagnosis
- logic programming
- asynchronous circuits
- modal logic
- medical diagnosis
- automated reasoning
- fault models
- causal reasoning
- series parallel
- diagnostic reasoning
- digital circuits
- computational properties
- classical logic
- base station
- medical images
- attention deficit hyperactivity disorder
- medical diagnostic
- diagnostic tests
- automatic diagnosis
- artificial intelligence
- natural deduction
- epistemic logic
- cancer diagnosis
- predicate logic
- multi valued
- bayesian networks