Learning higher-order logic programs.

Andrew Cropper Rolf Morel Stephen Muggleton

Published in: Mach. Learn. (2020)

Keyphrases

logic programs
higher order
background knowledge
logic programming
stable models
answer sets
answer set programming
term rewriting systems
refinement operators
inductive logic programming
fixpoint
horn clauses
normal logic programs
monotonicity constraints
predicate invention
partial deduction
pairwise