Login / Signup

Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs.

Andrew D. KellyKim MarriottHarald SøndergaardPeter J. Stuckey
Published in: SAS (1996)
Keyphrases
  • logic programs
  • logic programming
  • answer sets
  • answer set programming
  • fixpoint
  • prolog programs
  • term rewriting systems
  • background knowledge
  • stable models
  • normal logic programs