Temporal Interpretation of Intuitionistic Quantifiers.
Guram BezhanishviliLuca CaraiPublished in: AiML (2020)
Keyphrases
- spatio temporal
- image interpretation
- spatial and temporal
- temporal data
- temporal information
- linear logic
- temporal databases
- theorem prover
- temporal evolution
- temporal reasoning
- temporal constraints
- first order logic
- database
- natural language
- case study
- temporal relations
- temporal abstractions
- spatial data
- database systems
- fuzzy numbers
- decision making
- computer vision
- artificial intelligence
- temporal dimension
- fuzzy information
- information retrieval