Login / Signup
Conflict-Driven Disjunctive Answer Set Solving.
Christian Drescher
Martin Gebser
Torsten Grote
Benjamin Kaufmann
Arne König
Max Ostrowski
Torsten Schaub
Published in:
KR (2008)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
normal logic programs
fixpoint
combinatorial optimization
polynomial hierarchy
conflict resolution
databases
stable model semantics
disjunctive logic programming
loop formulas
semantics of logic programs