Login / Signup
Graph Theoretical Characterization and Computation of Answer Sets.
Thomas Linke
Published in:
IJCAI (2001)
Keyphrases
</>
answer sets
graph theoretical
logic programs
answer set programming
graph theory
logic programming
answer set programs
answer set semantics
extended logic programs
logic program updates
normal logic programs
semantics of logic programs
fixpoint
database systems
stable models
loop formulas
general purpose
data model