Relational program synthesis with numerical reasoning.

Céline Hocquette Andrew Cropper

Published in: CoRR (2022)

Keyphrases

program synthesis
relational learning
recursive programs
relational databases
inductive logic programming
knowledge base
reasoning process
knowledge representation
relational data
qualitative models
data model
high level
qualitative reasoning
training data
phase transition