Login / Signup
Modular Answer Set Solving.
Yuliya Lierler
Miroslaw Truszczynski
Published in:
AAAI (Late-Breaking Developments) (2013)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
normal logic programs
counter examples
fixpoint
databases
object oriented
combinatorial optimization
incomplete information
stable models