Analysis of Downward Closed Properties of Logic Programs.

Patricia M. Hill Fausto Spoto

Published in: AMAST (2000)

Keyphrases

logic programs
logic programming
fixpoint
answer set programming
term rewriting systems
answer sets
stable models
monotonicity constraints
prolog programs
partial deduction
normal form
background knowledge
data model
normal logic programs
strong equivalence
loop formulas
artificial intelligence