Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract).

Klaus P. Jantke Ulf Goldhammer

Published in: LOPSTR (1991)

Keyphrases

program synthesis
extended abstract
rewrite rules
recursive programs
inductive logic programming
rewriting rules
transformation rules
consistency constraints
query optimization
sql queries
machine learning
knowledge representation
background knowledge
execution plan