Representing and Reasoning about Temporal Granularities

  title={Representing and Reasoning about Temporal Granularities},
  author={Carlo Combi and Massimo Franceschet and Adriano Peron},
  journal={J. Log. Comput.},
In this paper, we propose a new logical approach to represent and to reason about different time granularities. We identify a time granularity as an infinite sequence of time points properly labelled with proposition symbols marking the starting and ending points of the corresponding granules, and we symbolically model sets of granularities by means of linear time logic formulas. Some real-world granularities are provided, from a clinical domain and from the Gregorian Calendar, to motivate and… CONTINUE READING
44 Citations
63 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 63 references

Time granularities, calendar algebra, and automata

  • U. Dal Lago, A. Montanari, G. Puppis
  • Technical Report 4/2003, Department of…
  • 2003
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…