Expressive power of linear-temporal logic based on generalized possibility measures.
Shengli ZhangYongming LiPublished in: FUZZ-IEEE (2016)
Keyphrases
- expressive power
- constraint query languages
- first order logic
- query language
- data complexity
- transitive closure
- computational properties
- relational algebra
- relational calculus
- spatio temporal
- knowledge representation
- temporal information
- temporal data
- machine learning
- relational query languages
- temporal reasoning
- knowledge base
- temporal patterns
- complex objects
- data model
- spatio temporal databases
- artificial intelligence
- database