Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- anti monotone
- constraint solving
- answer set semantics
- constraint solver
- answer set programs
- constraint solvers
- normal logic programs
- sat solvers
- statistical machine translation
- linear constraints
- constraint programming
- constraint satisfaction problems
- fixpoint
- temporal reasoning
- counter examples
- state space