Towards an Integration of Answer Set and Constraint Solving.
Sabrina BaselicePiero A. BonattiMichael GelfondPublished in: ICLP (2005)
Keyphrases
- constraint solving
- answer sets
- answer set programming
- constraint logic programming
- logic programs
- logic programming
- constraint propagation
- constraint solver
- constraint satisfaction
- constraint satisfaction problems
- normal logic programs
- answer set semantics
- loop formulas
- answer set programs
- constraint programming
- constraint solvers
- fixpoint
- stable model semantics
- relational databases
- query processing
- semantics for logic programs
- search space