Learning large logic programs by going beyond entailment.

Andrew Cropper Sebastijan Dumancic

Published in: CoRR (2020)

Keyphrases

logic programs
logic programming
background knowledge
fixpoint
answer sets
deductive databases
answer set programming
monotonicity constraints
stable models
computational properties
refinement operators
partial deduction