Inferring Flow of Control in Program Synthesis by Example.

Stefan Schrödl Stefan Edelkamp

Published in: KI (1999)

Keyphrases

program synthesis
inductive logic programming
control method
search engine
control system
control strategy
flow field
database
machine learning
feature selection
high dimensional
logic programming
first order logic