Login / Signup
Typed Meta-interpretive Learning of Logic Programs.
Rolf Morel
Andrew Cropper
C.-H. Luke Ong
Published in:
JELIA (2019)
Keyphrases
</>
logic programs
background knowledge
logic programming
answer set programming
answer sets
stable models
inductive logic programming
fixpoint
stable model semantics
existentially quantified