Learning logic programs through divide, constrain, and conquer.

Published in: CoRR (2021)

Keyphrases

logic programs
background knowledge
logic programming
prior knowledge
inductive logic programming
answer sets
answer set programming
artificial intelligence
nonmonotonic reasoning
fixpoint
monotonicity constraints
partial deduction
term rewriting systems