Integrating Numerical and Qualitative Models within Constraint Logic Programming.
Igor MozeticChristian HolzbaurPublished in: ISLP (1991)
Keyphrases
- qualitative models
- constraint logic programming
- dynamic systems
- qualitative and quantitative
- constraint solving
- qualitative reasoning
- logic programming language
- logic programming
- temporal reasoning
- constraint programming
- answer set programming
- model based diagnosis
- constraint propagation
- qualitative description
- qualitative simulation
- knowledge base
- inference engine
- general purpose
- constraint satisfaction