#### DMCA

## Time and time again: The many ways to represent time (1991)

### Cached

### Download Links

Venue: | International Journal of Intelligent Systems |

Citations: | 135 - 0 self |

### Citations

2942 | Maintaining knowledge about temporal intervals
- ALLEN
- 1983
(Show Context)
Citation Context ...t holds over two intervals T1 and T2 such that T1 meets T2, then it also holds over the union of these two intervals. These observations have been made and formalized in many different ways (e.g. see =-=Allen, 1983-=-, Dowty, 1986, Shoham, 1987) and have interesting consequences. In particular, if one starts with a point-based logic, which defines intervals as the set of points in the interval, and defines a predi... |

1037 | Towards a general theory of action and time.' - Allen - 1984 |

1012 | Dynamic Logic
- Harel, Kozen, et al.
- 2000
(Show Context)
Citation Context ...ems. Another common temporal representation, variants of which are found in philosophy, linguistics (e.g. tense logic, Prior (1967)) and theoretical computer science (e.g. dynamic logic, Pratt, 1978, =-=Harel, 1979-=-), involve modal "tense" operators. Rather than having explicit time in the logic, modal operators such a PAST are introduced. Thus the formula PAST(Green(Frog1)) means that FROG1 was green sometime i... |

428 | Constraint propagation algorithms for temporal reasoning.
- Vilain, Kautz
- 1986
(Show Context)
Citation Context ... constraint graph personal communication). This representation is powerful enough that any complete algorithm that guarantees consistency on the temporal information is NP-complete in the worse case (=-=Vilain & Kautz, 1986-=-). Allen (1983), however, presents a heuristic order n 3 algorithm that captures most or all intuitively simple cases. Vilain and Kautz show that this algorithm is complete if all the constraints obey... |

313 | Living Systems.
- Miller
- 1995
(Show Context)
Citation Context ...ss. In many AI applications, we would like to integrate a temporal reasoner into a general purpose reasoning system. Here we briefly describe such a system that has been developed at Rochester. RHET (=-=Allen & Miller, 1989-=-) is a Horn-clause based AI representation language that has as a subcomponent the TIMELOGIC temporal reasoning system developed by Koomen (1989) and based on Allen's interval logic. RHET is a hybrid ... |

308 | A temporal logic for reasoning about processes and plans, - McDermott - 1982 |

168 | The Logic of Time. - Benthem - 1983 |

132 | Automated deduction by theory resolution. - Stickel - 1985 |

128 | Probabilistic temporal reasoning,” in - Dean, Kanazawa - 1988 |

108 | Temporal data base management. - Dean, McDermott - 1987 |

32 | Models of axioms for time intervals. - Ladkin - 1987 |

15 | Localizing temporal constraint propagation - Koomen - 1989 |

1 |
Reasoning about Plans, Morgan-Kaufman
- Allen, Kautz, et al.
- 1990
(Show Context)
Citation Context ...heir system can assume that P is still true at time t3 if persistence assumptions are allowed. The only requirement is that P must definitely be known to have become true prior to the time t3. Allen (=-=Allen et al, 1990-=-) defines a more general persistence rule. If we know that P is true over some interval T1, and we are interested in whether it could be true over interval T2. If it is consistent that T1=T2 given the... |

1 | R. Representation and Reasoning with Convex Time - Ladkin, Maddux - 1988 |

1 | Time Again, Intl J. of Intelligent Systems 6(4 - Time - 1991 |

1 | Past, Preset and Future - Prior - 1967 |

1 |
A Parallel Algorithm for Statistical Refinement and its use
- Weber
- 1989
(Show Context)
Citation Context ...ns can be consistent. More plausible models are being developed that deal with the probability that a given fact remains true given that it is true over some interval (e.g. see Dean & Kawazawa, 1988, =-=Weber, 1989-=-). VII. Conclusion Allen: Time and Time Again, Intl J. of Intelligent Systems 6(4) 1991 12sThe representation of time is crucial to many applications of artificial intelligence, and work in computatio... |