Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.

Amadeo Casas Manuel Carro Manuel V. Hermenegildo

Published in: LOPSTR (2007)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
stable models
orders of magnitude
inductive logic programming
term rewriting systems
xml documents
background knowledge
fixpoint
computational properties
normal logic programs
computational complexity
deductive databases