Login / Signup
An integrated framework for the diagnosis and correction of rule-based programs.
María Alpuente
Demis Ballis
Francisco J. Correa
Moreno Falaschi
Published in:
Theor. Comput. Sci. (2010)
Keyphrases
</>
fault diagnosis
medical diagnosis
expert systems
data driven
model based diagnosis
automatic diagnosis
rule based systems
rule base
provably correct
neural network
case study
computer programs
diagnostic tests
multiple faults