Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs.

Published in: CoRR (2021)

Keyphrases

logic programs
higher order
logic programming
background knowledge
fixpoint
directed search
inductive logic programming
stable models
refinement operators
pairwise
predicate invention
existentially quantified
neural network
knowledge base
markov random field
prolog programs