REWERSE-RP-2005-135

Hans Jürgen Ohlbach:
Sergei N. Artemov, Howard Barringer, Artur d'Avila Garcez, Luís C. Lamb, John Woods (editors):
Modelling Periodic Temporal Notions by Labelled Partitionings of the Real Numbers - The PartLib Library.


Complete Text [
.pdf, 273KB]
In: We Will Show Them: Essays in Honour of Dov Gabbay 2, 453-498, October 2005
© King's College Publications

Abstract
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits the time axis into a sequence of intervals. Basic time units like seconds, minutes, hours, days, weeks, months, years etc. can all be represented by partitionings of R with nite partitions. Besides the basic time units in calendar systems, there are a lot of other temporal notions which can be modelled as partitions: the seasons, the ecclesiastical calendars, nancial years, semesters at universities, the sequence of sunrises and sunsets, the sequence of the tides, the sequence of school holidays etc. In this chapter a formalisation of periodic temporal notions by means of labelled partitionings of R is presented. The formalism is implemented as the C++ library PartLib (Partitioning Library). The interface to PartLib is presented in the appendix.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-135

BibTeX:

@article{REWERSE-RP-2005-135,
	author = {Hans J\"urgen Ohlbach},
	title = {Modelling Periodic Temporal Notions by Labelled Partitionings
    of the Real Numbers - The PartLib Library},
	journal = {},
	year = {2005},
	volume = {2},
	pages = {453--498},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-135}
}

Imprint      Privacy Disclaimer