On relation between constraint answer set programming and satisfiability modulo theories.
Yuliya LierlerBenjamin SusmanPublished in: Theory Pract. Log. Program. (2017)
Keyphrases
- answer set programming
- modulo theories
- satisfiability modulo theories
- logic programs
- logic programming
- answer sets
- stable model semantics
- constraint solvers
- constraint logic programming
- knowledge representation
- constraint solver
- constraint networks
- constraint solving
- machine learning
- artificial intelligence
- stable models
- constraint satisfaction problems
- state space