Login / Signup
Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs.
Rolf Morel
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