Integrating Answer Set Programming and Satisfiability Modulo Theories.

Published in: LPNMR (2009)

Keyphrases

answer set programming
modulo theories
satisfiability modulo theories
logic programming
logic programs
answer sets
constraint logic programming
stable model semantics
knowledge representation
stable models
expert systems
general purpose