Learning Higher-Order Logic Programs through Abstraction and Invention.

Andrew Cropper Stephen H. Muggleton

Published in: IJCAI (2016)

Keyphrases

logic programs
higher order
logic programming
background knowledge
answer sets
answer set programming
inductive logic programming
pairwise
monotonicity constraints
term rewriting systems
object oriented
nonmonotonic reasoning
fixpoint
strong equivalence