An Algebraic Approach to Sharing Analysis of Logic Programs.

Michael Codish Vitaly Lagoon Francisco Bueno

Published in: SAS (1997)

Keyphrases

logic programs
logic programming
stable models
fixpoint
answer set programming
answer sets
partial deduction
inductive logic programming
artificial intelligence
background knowledge
term rewriting systems
deductive databases
normal logic programs