A full first-order constraint solver for decomposable theories.
Khalil DjelloulPublished in: Ann. Math. Artif. Intell. (2009)
Keyphrases
- constraint solver
- theory revision
- real numbers
- constraint solving
- constraint programming
- constraint propagation
- linear constraints
- constraint satisfaction problems
- constraint satisfaction
- knowledge base
- first order logic
- constraint logic programming
- action theories
- np complete
- path consistency
- constraint solvers
- logical theories
- temporal constraints
- orders of magnitude
- programming language
- artificial intelligence
- logical formulas