Deciding validity in a spatial logic for trees.

Cristiano Calcagno Luca Cardelli Andrew D. Gordon

Published in: TLDI (2003)

Keyphrases

spatial information
spatial data
logic programming
decision trees
spatio temporal
tree structure
spatial and temporal
quad trees
data structure
spatial temporal
spatial reasoning
probability theory
tree structures
multi valued
spatial features
predicate logic