Login / Signup
Restricted notions of provability by induction.
Stefan Hetzl
Tin Lok Wong
Published in:
CoRR (2017)
Keyphrases
</>
inductive learning
rule induction
program synthesis
formal definitions
machine learning
artificial intelligence
website
oblique decision trees
subgroup discovery
inductive inference
data mining
real world
concept learning
evolutionary algorithm
explanation based learning
relational databases
data sets
database