Login / Signup
The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures.
Raúl Monroy
Published in:
ASE (2000)
Keyphrases
</>
complex objects
logic programming
fault diagnosis
deductive databases
abductive reasoning
background knowledge
model based diagnosis
causal networks
data sets
xml documents
theorem prover
error correction
machine learning
relational databases
fault model
multiple faults