Spatial Logics for Bigraphs.

Giovanni Conforti Damiano Macedonio Vladimiro Sassone

Published in: ICALP (2005)

Keyphrases

spatial information
spatial and temporal
modal logic
expressive power
spatial relationships
real time
neural network
spatio temporal
spatial data
information systems
multiscale
data analysis
space time
spatial databases
spatial objects
spatial correlation