• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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