Learning Logic Programs Though Divide, Constrain, and Conquer.

Published in: AAAI (2022)

Keyphrases

logic programs
logic programming
background knowledge
prior knowledge
answer sets
answer set programming
stable models
inductive logic programming
refinement operators
artificial intelligence
programming language
monotonicity constraints