Keyphrases
- medical diagnosis
- functional language
- model based diagnosis
- fault diagnosis
- functional analysis
- artificial intelligence
- fixpoint
- computer programs
- computer aided
- operating system
- logic programs
- search algorithm
- high level
- website
- knowledge base
- model based reasoning
- automatic programming
- diagnostic reasoning
- feature selection
- clinically relevant
- breast cancer diagnosis
- diagnostic tests
- automatic diagnosis
- database
- multiple faults