C
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. Delcher
Simon 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