Bayesianism, Elimination Induction and Logical Reliability.

Renjie Yang Min Tang

Published in: LORI (2011)

Keyphrases

inductive learning
explanation based learning
rule induction
program synthesis
logical reasoning
machine learning
constructive induction
databases
search engine
bayesian networks
highly reliable
reliability analysis
logical properties
dead end