Login / Signup

Analysis of Logic Programs with Delay.

Andrew HeatonPatricia M. HillAndy King
Published in: LOPSTR (1997)
Keyphrases
  • logic programs
  • logic programming
  • answer set programming
  • partial deduction
  • relational databases
  • prolog programs
  • term rewriting systems
  • background knowledge
  • fixpoint
  • stable models