Login / Signup
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.
David Gabelaia
Roman Kontchakov
Ágnes Kurucz
Frank Wolter
Michael Zakharyaschev
Published in:
J. Artif. Intell. Res. (2005)
Keyphrases
</>
spatial and temporal
expressive power
spatio temporal
space time
computational complexity
spatial temporal
temporal domain
spatial context
modal logic
temporal dependencies
video frames
computational properties
video sequences
crowded scenes
temporal segmentation
spatial and temporal information