Open induction in a bounded arithmetic for TC0.

Published in: Arch. Math. Log. (2015)

Keyphrases

inductive learning
learning algorithm
inductive logic programming
inductive inference
floating point
subgroup discovery
open systems
arithmetic operations
machine learning
rule induction
concept formation
constructive induction
inductive reasoning
oblique decision trees