Expressiveness of a Spatial Logic for Trees.
Iovka BonevaJean-Marc TalbotSophie TisonPublished in: LICS (2005)
Keyphrases
- computational properties
- monadic second order logic
- spatial information
- expressive power
- spatio temporal
- spatial and temporal
- spatial data
- decision trees
- modal logic
- classical logic
- spatial relationships
- tree automata
- defeasible logic
- logic programming
- spatial frequency
- searching in metric spaces
- spatial distribution
- predicate logic
- spatial patterns
- classification trees
- multi valued
- automated reasoning
- spatial relations
- tree structure
- video sequences