DERRIC: A Tool for Unified Logic Diagnosis.

Alexandre Rousset Alberto Bosio Patrick Girard Christian Landrault Serge Pravossoudovitch Arnaud Virazel

Published in: ETS (2007)

Keyphrases

diagnostic tool
knowledge base
expert systems
predicate logic
modal logic
multi valued
medical diagnosis
diagnostic reasoning
causal reasoning
unified model
classical logic
fault detection
database
software tools
expressive power
logic programming
website
data mining