Learning Higher-Order Logic Programs From Failures.

Stanislaw J. Purgal David M. Cerna Cezary Kaliszyk

Published in: IJCAI (2022)

Keyphrases

logic programs
higher order
logic programming
background knowledge
answer set programming
inductive logic programming
stable models
computational properties
pairwise
answer sets
fixpoint
term rewriting systems
expressive power
integrity constraints
autoepistemic logic
refinement operators