Using LDL++ for Spatio-Temporal Reasoning in Atmospheric Science Databases.
Richard R. MuntzEddie C. ShekCarlo ZanioloPublished in: Workshop on Programming with Logic Databases (Informal Proceedings), ILPS (1993)
Keyphrases
- temporal reasoning
- databases
- temporal constraints
- qualitative and quantitative
- temporal information
- reasoning tasks
- constraint networks
- temporal constraint networks
- temporal knowledge
- spatio temporal
- event calculus
- temporal relations
- uncertainty management
- expressive power
- metadata
- database systems
- spatial reasoning
- data management
- data model
- series parallel
- simple temporal
- path consistency
- relational databases
- interval algebra
- high level
- constraint propagation
- constraint satisfaction
- constraint reasoning