Login / Signup

Parameterized Logic Programs where Computing Meets Learning.

Taisuke Sato
Published in: FLOPS (2001)
Keyphrases
  • logic programs
  • logic programming
  • background knowledge
  • answer sets
  • inductive logic programming
  • stable models
  • high level
  • answer set programming
  • horn clauses
  • fixpoint
  • normal logic programs
  • term rewriting systems