Login / Signup
Functional Stable Model Semantics and Answer Set Programming Modulo Theories.
Michael Bartholomew
Joohyung Lee
Published in:
IJCAI (2013)
Keyphrases
</>
answer set programming
modulo theories
stable model semantics
logic programs
logic programming
answer sets
stable models
satisfiability modulo theories
answer set programs
orders of magnitude