Temporal Qualification and Change with First-Order Binary Predicates.
Pierre GrenonPublished in: FOIS (2006)
Keyphrases
- linear temporal logic
- horn clauses
- spatio temporal
- higher order
- first order logic
- temporal information
- temporal constraints
- temporal reasoning
- temporal relations
- database
- spatial and temporal
- temporal logic
- temporal evolution
- quantifier free
- temporal ordering
- temporal dimension
- temporal databases
- human resources
- temporal data
- user defined
- relational databases
- genetic algorithm