Keyphrases
- higher order
- higher order logic
- anti unification
- spatio temporal
- expressive power
- lambda calculus
- spatial information
- high order
- spatial data
- natural images
- spatial distribution
- pairwise
- spatial relations
- spatial relationships
- inference rules
- spatial and temporal
- spatial reasoning
- qualitative spatial reasoning
- spatial objects
- low order
- spatial features
- cardinal directions
- proof theory
- space time
- graphical models
- conditional random fields