Temporal Interpretation of Monadic Intuitionistic Quantifiers.
Guram BezhanishviliLuca CaraiPublished in: Rev. Symb. Log. (2023)
Keyphrases
- temporal constraints
- semantic interpretation
- temporal information
- natural language
- theorem prover
- linear logic
- temporal consistency
- image interpretation
- temporal data
- temporal patterns
- temporal reasoning
- spatio temporal
- deductive databases
- first order logic
- temporal dimension
- artificial intelligence
- database
- temporal databases
- fuzzy set theory
- logical framework
- high level
- data sets