Derivations with Holes for Concept-Based Program Synthesis.

João Costa Seco Jonathan Aldrich Luis Carvalho Bernardo Toninho Carla Ferreira

Published in: Onward! (2022)

Keyphrases

program synthesis
recursive programs
inference rules
text categorization
domain knowledge
information retrieval
learning algorithm
feature space
general purpose
semantic information
inductive logic programming
video retrieval
concept based video retrieval