Learning Logic Programs by Explaining Failures.

Rolf Morel Andrew Cropper

Published in: CoRR (2021)

Keyphrases

logic programs
logic programming
background knowledge
answer set programming
machine learning
autoepistemic logic
normal logic programs
fixpoint
refinement operators
prolog programs