Combining binary constraint networks in qualitative reasoning.
Jason Jingshi LiTomasz KowalskiJochen RenzSanjiang LiPublished in: ECAI (2008)
Keyphrases
- qualitative reasoning
- constraint networks
- dynamic systems
- qualitative simulation
- qualitative information
- temporal reasoning
- constraint satisfaction problems
- tree decomposition
- temporal constraint networks
- constraint satisfaction
- qualitative differential equations
- non binary
- path consistency
- qualitative models
- scene labeling
- set intersection
- tree width
- order of magnitude reasoning
- conceptual design
- constraint programming
- binary constraints
- backtracking algorithm
- max csp
- complex systems
- qualitative spatial and temporal reasoning
- machine learning
- temporal constraints
- temporal information
- logic programming
- knowledge discovery