First Order Compiler: A Deterministic Logic Program Synthesis Algorithm.

Taisuke Sato Hisao Tamaki

Published in: J. Symb. Comput. (1989)

Keyphrases

learning algorithm
detection algorithm
program synthesis
k means
dynamic programming
information retrieval
objective function
computational complexity
np hard
general purpose
machine learning
reinforcement learning
search space
co occurrence
expectation maximization
logic programming