Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach.
Johan BoyeWlodzimierz DrabentJan MaluszynskiPublished in: AADEBUG (1997)
Keyphrases
- medical diagnosis
- declarative language
- deductive database systems
- model based diagnosis
- provably correct
- knowledge representation
- fault diagnosis
- automatic programming
- domain independent
- fault detection
- breast cancer diagnosis
- model based reasoning
- causal reasoning
- multiple faults
- high level
- website
- automatic diagnosis
- declarative programming
- fixpoint
- diagnostic reasoning
- data sets
- early detection
- information retrieval
- data mining