Login / Signup

A precise type analysis of logic programs.

Lunjin Lu
Published in: PPDP (2000)
Keyphrases
  • logic programs
  • logic programming
  • answer sets
  • answer set programming
  • inductive logic programming
  • stable models
  • partial deduction
  • artificial intelligence
  • horn clauses
  • normal logic programs
  • answer set programs