Learning Logic Programs by Combining Programs.

Andrew Cropper Céline Hocquette

Published in: ECAI (2023)

Keyphrases

logic programs
answer sets
logic programming
fixpoint
stable models
background knowledge
stable model semantics
answer set programming
prolog programs
normal logic programs
functional programs
answer set programs
recursive programs
strong equivalence
answer set semantics
magic sets
inductive logic programming