Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency.

Luís Caires Étienne Lozes

Published in: CONCUR (2004)

Keyphrases

spatio temporal
description logics
spatial information
expressive power
spatial data
database systems
spatial reasoning
modal logic
spatial relationships
inference rules
spatial and temporal
spatial databases
nonmonotonic logics
databases
spatial structure
natural language
search algorithm
neural network