Keyphrases
- modal logic
- spatial information
- inference rules
- spatial and temporal
- spatial data
- spatial distribution
- logic programming
- spatio temporal
- spatial temporal
- temporal logic
- space time
- classical logic
- spatial constraints
- multi valued
- proof theory
- spatial correlation
- database
- sound and complete axiomatization
- situation calculus
- spatial databases
- logic programs
- data structure
- genetic algorithm
- neural network