On Metric Temporal Lukasiewicz Logic.
Tommaso FlaminioElisa B. P. TiezziPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- modal logic
- truth values
- linear temporal logic
- spatio temporal
- temporal information
- classical logic
- temporal logic
- temporal reasoning
- temporal data
- multi valued
- temporal databases
- spatial and temporal
- metric space
- databases
- evaluation metrics
- logic programming
- inference rules
- distance function
- automated reasoning
- distance measure
- temporal dimension
- temporal constraints
- set theory
- knowledge representation
- epistemic logic
- learning algorithm