The Expressive Power of Temporal and First-Order Metric Logics.
Alexander RabinovichPublished in: Fields of Logic and Computation III (2020)
Keyphrases
- expressive power
- first order logic
- data complexity
- transitive closure
- relational algebra
- computational properties
- inference rules
- query language
- temporal information
- linear temporal logic
- propositional logic
- horn clauses
- temporal reasoning
- temporal data
- theorem prover
- knowledge representation
- relational calculus
- recursive queries
- temporal databases
- spatio temporal databases
- quantifier elimination
- artificial intelligence
- machine learning