Using LDL++ for Spatio-Temporal Reasoning in Atmospheric Science Databases.
Richard R. MuntzEddie C. ShekCarlo ZanioloPublished in: Workshop on Programming with Logic Databases (Book), ILPS (1993)
Keyphrases
- temporal reasoning
- databases
- temporal constraints
- qualitative and quantitative
- temporal information
- event calculus
- temporal constraint networks
- constraint networks
- spatial reasoning
- path consistency
- uncertainty management
- simple temporal
- spatio temporal
- temporal relations
- reasoning tasks
- temporal knowledge
- data model
- expressive power
- relational databases
- constraint reasoning
- computer vision
- point algebra
- data management
- logic programs
- contextual information