The following pages link to A non-reified temporal logic (Q1190791):
Displaying 12 items.
- A non-standard temporal deductive database system (Q679339) (← links)
- Operators vs. arguments: The ins and outs of reification (Q857666) (← links)
- Time representation: A taxonomy of temporal models (Q1329227) (← links)
- The token reification approach to temporal reasoning (Q2171256) (← links)
- Cost-based temporal reasoning (Q2212079) (← links)
- Nonclausal deduction in first-order temporal logic (Q3474286) (← links)
- A really temporal logic (Q4299300) (← links)
- An investigation of 'non-intermingling' principles in temporal logic (Q4881300) (← links)
- Non-associative Kleene Algebra and Temporal Logics (Q5283205) (← links)
- Reified temporal logics: An overview (Q5939380) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)
- (Q6167899) (← links)