Learning higher-order logic programs.

Andrew Cropper Rolf Morel Stephen H. Muggleton

Published in: CoRR (2019)

Keyphrases

logic programs
higher order
background knowledge
logic programming
answer set programming
stable models
inductive logic programming
fixpoint
pairwise
markov random field
horn clauses
computational properties
predicate invention