Learning Logic Programs by Discovering Where Not to Search.

Andrew Cropper Céline Hocquette

Published in: AAAI (2023)

Keyphrases

logic programs
logic programming
background knowledge
answer set programming
stable models
refinement operators
fixpoint
partial deduction
prolog programs
strong equivalence
term rewriting systems
relational databases
search space
inductive logic programming
computational properties
stable model semantics