Login / Signup
Optimized Algorithms for Incremental Analysis of Logic Programs.
Germán Puebla
Manuel V. Hermenegildo
Published in:
SAS (1996)
Keyphrases
</>
logic programs
logic programming
answer sets
fixpoint
stable models
orders of magnitude
answer set programming
background knowledge
inductive logic programming
term rewriting systems
computational complexity