Deciding validity in a spatial logic for trees.
Cristiano CalcagnoLuca CardelliAndrew D. GordonPublished in: J. Funct. Program. (2005)
Keyphrases
- spatial information
- spatio temporal
- spatial data
- spatial and temporal
- decision trees
- logic programming
- classical logic
- spatial relationships
- computational properties
- genetic algorithm
- predicate logic
- tree construction
- spatial reasoning
- spatial objects
- spatial databases
- modal logic
- space time
- spatial temporal
- spatial correlation
- automated reasoning
- multi valued
- spatial constraints
- tree structure
- data sets
- formal theory