Multivalued action languages with constraints in CLP(FD).
Agostino DovierAndrea FormisanoEnrico PontelliPublished in: Theory Pract. Log. Program. (2010)
Keyphrases
- constraint logic programming
- constraint programming
- constraint solving
- expressive power
- constraint satisfaction
- global constraints
- soft constraints
- constraint language
- language independent
- database
- neural network
- constraint satisfaction problems
- constrained optimization
- constraint networks
- grammatical inference
- constraint solver