Tableaux for Diagnosis Applications.

Peter Baumgartner Peter Fröhlich Ulrich Furbach Wolfgang Nejdl

Published in: TABLEAUX (1997)

Keyphrases

fault diagnosis
model based diagnosis
medical diagnosis
fault detection
multiple faults
automatic diagnosis
functional dependencies
modal logic
decision procedures
model based reasoning
information systems
model checking
multiscale
clinical diagnosis
disease diagnosis
clinically relevant
feature selection