A Temporal Module for Logical Frameworks.
Valentina PitoniStefania CostantiniPublished in: ICLP Technical Communications (2019)
Keyphrases
- spatial and temporal
- temporal constraints
- spatio temporal
- temporal reasoning
- temporal consistency
- temporal data
- temporal databases
- temporal dimension
- databases
- temporal information
- logical framework
- temporal evolution
- logical rules
- logical reasoning
- temporal analysis
- time stamped
- temporal patterns
- space time
- search engine
- neural network