Formal Specification of Topological Relations.
Erika AsninaJanis OsisAsnate JansonePublished in: DB&IS (2012)
Keyphrases
- formal specification
- topological relations
- spatial reasoning
- model checking
- spatial objects
- spatial relations
- process algebra
- spatial information
- temporal reasoning
- path consistency
- formal methods
- spatial databases
- reverse engineering
- spatial clustering
- artificial intelligence
- protocol specification
- multi dimensional
- np hard
- web services