Login / Signup
Weak Order Equivalence for Logic Programs with Preferences.
Kathrin Konczak
Published in:
WLP (2006)
Keyphrases
</>
logic programs
logic programming
background knowledge
strong equivalence
stable models
answer sets
fixpoint
answer set programming
computational properties
answer set semantics
normal logic programs
term rewriting systems
partial deduction