Minimality Results for the Spatial Logics.

Daniel Hirschkoff Étienne Lozes Davide Sangiorgi

Published in: FSTTCS (2003)

Keyphrases

spatio temporal
spatial information
expressive power
spatial and temporal
modal logic
spatial data
spatial patterns
machine learning
knowledge base
partial order
temporal logic
spatial distribution
spatial reasoning
spatial features
epistemic logic
conditional logic
belief change
inference rules
information systems