Learning Large Logic Programs By Going Beyond Entailment.

Andrew Cropper Sebastijan Dumancic

Published in: IJCAI (2020)

Keyphrases

logic programs
logic programming
background knowledge
monotonicity constraints
answer sets
answer set programming
term rewriting systems
fixpoint
normal logic programs
object oriented
default logic
stable models
disjunctive logic programming