Login / Signup

Typed Meta-interpretive Learning of Logic Programs.

Rolf MorelAndrew CropperC.-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