Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.
Stefan WölflTill MossakowskiLutz SchröderPublished in: FLAIRS Conference (2007)
Keyphrases
- cardinal directions
- qualitative spatial and temporal reasoning
- qualitative spatial
- qualitative spatial reasoning
- constraint networks
- databases
- face verification
- model checking
- database
- qualitative and quantitative
- qualitative reasoning
- constraint satisfaction problems
- formal methods
- quantitative and qualitative
- qualitative models
- signature verification
- relational databases
- spatial objects
- web service composition
- temporal logic
- linear constraints
- binary relations
- genetic algorithm
- asynchronous circuits
- real world
- verification method
- neural network
- spatial relations