A predicate spatial logic for mobile processes.
Huimin LinPublished in: Sci. China Ser. F Inf. Sci. (2004)
Keyphrases
- mobile devices
- spatial and temporal
- spatial data
- mobile phone
- spatial information
- spatial relationships
- automated reasoning
- geographic information systems
- mobile applications
- modal logic
- logic programming
- spatial databases
- spatio temporal
- asynchronous circuits
- computational models
- image sequences
- computing environments
- mobile learning
- mobile services
- multi valued
- spatial location
- logical framework
- classical logic
- spatial features