Program Synthesis in Saturation.

Petra Hozzová Laura Kovács Chase Norman Andrei Voronkov

Published in: CADE (2023)

Keyphrases

program synthesis
recursive programs
inductive logic programming
artificial intelligence
database
learning algorithm
feature selection
database systems
computational complexity
prior knowledge
background knowledge