Constraint and declarative languages for engineering applications: The TK!Solver contribution.
Milos KonopasekSundaresan JayaramanPublished in: Proc. IEEE (1985)
Keyphrases
- declarative language
- constraint solver
- constraint solving
- constraint language
- expressive power
- neural network
- hard constraints
- cross lingual
- language independent
- linear constraints
- high level
- query language
- multi lingual
- constraint based pattern mining
- database
- constraint solvers
- statistical machine translation
- constraint programming
- domain independent
- description logics
- knowledge representation
- expert systems
- support vector
- genetic algorithm
- machine learning