Login / Signup

Task Granularity Analysis in Logic Programs.

Saumya K. DebrayNai-Wei LinManuel V. Hermenegildo
Published in: PLDI (1990)
Keyphrases
  • logic programs
  • logic programming
  • answer sets
  • stable models
  • fixpoint
  • answer set programming
  • background knowledge
  • stable model semantics
  • partial deduction
  • normal logic programs
  • loop formulas