Relational program synthesis.

Yuepeng Wang Xinyu Wang Isil Dillig

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

program synthesis
relational learning
relational data
inductive logic programming
relational databases
multi relational
recursive programs
database
data model
domain knowledge
machine learning
learning algorithm
high level
pairwise
logic programs
logic programming