Open induction in a bounded arithmetic for TC^0.

Published in: CoRR (2014)

Keyphrases

information retrieval
databases
neural network
machine learning
bayesian networks
inductive learning
explanation based learning
program synthesis
real time
website
expert systems
inductive inference
rule induction
arithmetic operations