A System for Reasoning About Time
Abstract
In this paper we describe the salient features of a new system for reasoning about time. The system represents time primarily — though not exclusively — in terms of intervals, and performs deductions on this representation. It has a mechanism for maintaining consistency in the representation and discovering the origin of inconsistencies. Further, its deduction mechanisms for intervals are easily extended to deal with time points. Finally, it embodies a simple and elegant scheme for reasoning about absolute dates.
Cite
Text
Vilain. "A System for Reasoning About Time." AAAI Conference on Artificial Intelligence, 1982.Markdown
[Vilain. "A System for Reasoning About Time." AAAI Conference on Artificial Intelligence, 1982.](https://mlanthology.org/aaai/1982/vilain1982aaai-system/)BibTeX
@inproceedings{vilain1982aaai-system,
title = {{A System for Reasoning About Time}},
author = {Vilain, Marc B.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1982},
pages = {197-201},
url = {https://mlanthology.org/aaai/1982/vilain1982aaai-system/}
}