From realizability to induction via dependent intersection.

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

Keyphrases

inductive learning
rule induction
machine learning
expert systems
inductive logic programming
program synthesis
information systems
decision trees
support vector
inductive reasoning