Sign in
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