Login / Signup
Answer Sets and Qualitative Optimization.
Gerhard Brewka
Published in:
Log. J. IGPL (2006)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
normal logic programs
answer set semantics
answer set programs
fixpoint
extended logic programs
counter examples
logic program updates
reasoning tasks
deductive databases
loop formulas
stable models
incomplete information
constraint satisfaction