Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.
Stefan WölflTill MossakowskiLutz SchröderPublished in: Spatial Cognition: Specialization and Integration (2005)
Keyphrases
- cardinal directions
- qualitative spatial and temporal reasoning
- qualitative spatial
- qualitative spatial reasoning
- databases
- constraint networks
- database
- qualitative reasoning
- linear constraints
- consistency checking
- interval algebra
- verification method
- face verification
- binary relations
- qualitative and quantitative
- qualitative information
- model checking
- neural network
- point algebra