Integrating Answer Set Reasoning with Constraint Solving Techniques.
Veena S. MellarkodMichael GelfondPublished in: FLOPS (2008)
Keyphrases
- constraint solving
- answer sets
- answer set programming
- constraint logic programming
- logic programs
- reasoning tasks
- logic programming
- constraint satisfaction problems
- constraint propagation
- answer set semantics
- polynomial hierarchy
- constraint solver
- constraint satisfaction
- answer set programs
- knowledge representation
- normal logic programs
- constraint programming
- knowledge base
- automated reasoning
- deductive databases
- loop formulas
- sat solvers
- stable models
- knowledge representation and reasoning
- np complete
- general purpose
- database systems