Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.
Roman KontchakovLaura PandolfoLuca PulinaVladislav RyzhikovMichael ZakharyaschevPublished in: IJCAI (2016)
Keyphrases
- temporal logic
- linear temporal logic
- temporal resolution
- modal logic
- spatial and temporal
- spatio temporal
- temporal dimension
- temporal correlation
- model checking
- temporal knowledge
- temporal aspects
- modal operators
- space time
- formal theory
- spatial features
- spatial locality
- spatial data
- spatial temporal
- spatio temporal data
- spatio temporal databases
- reasoning about actions
- multi dimensional
- temporal constraints
- temporal information
- temporal data
- temporal dependencies
- temporal domain
- spatio temporally
- spatial information
- spatial relations
- spatial distribution
- causal models
- inference rules
- spatial correlation
- temporal continuity
- proof theory
- multi agent learning
- temporal reasoning
- interval algebra
- logic programming
- classical logic
- asynchronous circuits
- situation calculus
- temporal patterns
- temporal databases
- spatial objects
- spatial reasoning
- temporal relations