Login / Signup
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes.
Joohyung Lee
Yunsong Meng
Published in:
IJCAI (2013)
Keyphrases
</>
answer set programming
modulo theories
logic programs
logic programming
stable model semantics
answer sets
constraint logic programming
stable models
knowledge representation
satisfiability modulo theories
artificial intelligence
data model
deductive databases