A Logical Approach to Represent and Reason about Calendars

Abstract

In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time points properly labelled with proposition symbols marking the starting and ending points of the corresponding granules, and we intensively model sets of granularities with linear time… (More)
DOI: 10.1109/TIME.2002.1027486

Topics

1 Figure or Table

Cite this paper

@inproceedings{Combi2002ALA, title={A Logical Approach to Represent and Reason about Calendars}, author={Carlo Combi and Massimo Franceschet and Adriano Peron}, booktitle={TIME}, year={2002} }