Structural vs. Cyclic Induction: A Report on Some Experiments with Coq.

Sorin Stratulat

Published in: SYNASC (2016)

Keyphrases

machine learning
inductive learning
formal methods
structural constraints
databases
structural information
inductive logic programming
structural analysis
structural models
database
program synthesis
constructive induction
concept formation
structural features
website
computer vision
real time