Login / Signup

Optimized Algorithms for Incremental Analysis of Logic Programs.

Germán PueblaManuel V. Hermenegildo
Published in: SAS (1996)
Keyphrases
  • logic programs
  • logic programming
  • answer sets
  • fixpoint
  • stable models
  • orders of magnitude
  • answer set programming
  • background knowledge
  • inductive logic programming
  • term rewriting systems
  • computational complexity