On the scheme of induction for bounded arithmetic formulas.

A. J. Wilkie Jeff B. Paris

Published in: Ann. Pure Appl. Log. (1987)

Keyphrases

database
real time
machine learning
inductive learning
representation scheme
data sets
search engine
decision trees
multiresolution
inductive logic programming
classification scheme
constructive induction
mathematical formulas