Learning logic programs by discovering where not to search.

Andrew Cropper Céline Hocquette

Published in: CoRR (2022)

Keyphrases

logic programs
background knowledge
logic programming
search algorithm
answer set programming
fixpoint
search space
inductive logic programming
answer sets
normal logic programs
knowledge base
stable models
computational properties
strong equivalence
partial deduction
term rewriting systems