Keyphrases
- deductive database systems
- model based diagnosis
- medical diagnosis
- fault diagnosis
- automatic programming
- clinically relevant
- dynamic logic
- expressive power
- fault detection
- information systems
- provably correct
- neural network
- logical representation
- diagnostic process
- databases
- high level
- causal reasoning
- data sets
- diagnostic reasoning
- disease diagnosis
- medical diagnostic
- multiple faults