Keyphrases
- deductive database systems
- fault diagnosis
- medical diagnosis
- deductive databases
- model based diagnosis
- expressive power
- dynamic logic
- diagnostic reasoning
- information systems
- automatic diagnosis
- model based reasoning
- fixpoint
- logical operations
- causal reasoning
- probabilistic logic
- automatic programming
- query evaluation
- fault localization
- breast cancer
- object oriented
- breast cancer diagnosis
- xml documents
- knowledge base