Login / Signup

Some Results on the Complexity of Exploiting Data Dependency in Parallel Logic Programs.

Arthur L. DelcherSimon Kasif
Published in: J. Log. Program. (1989)
Keyphrases
  • logic programs
  • database
  • logic programming
  • background knowledge
  • answer sets
  • answer set programming
  • fixpoint
  • stable models
  • prolog programs
  • monotonicity constraints