Learning logic programs by explaining their failures.

Rolf Morel Andrew Cropper

Published in: Mach. Learn. (2023)

Keyphrases

logic programs
background knowledge
logic programming
answer set programming
fixpoint
answer sets
stable models
inductive logic programming
refinement operators
relational databases
deductive databases
nonmonotonic reasoning
normal logic programs
term rewriting systems