\input zb-basic
\input zb-ioport
\iteman{io-port 05316049}
\itemau{Lig\c eza, Antoni; Bouzid, Maroua}
\itemti{Temporal specifications with XTUS. A hierarchical algebraic approach.}
\itemso{Cotta, Carlos C. (ed.) et al., Knowledge-driven computing. Knowledge engineering and intelligent computations. Berlin: Springer (ISBN 978-3-540-77474-7/hbk). Studies in Computational Intelligence 102, 133-148 (2008).}
\itemab
Summary: Representation of temporal knowledge and efficient handling of temporal specifications is an important issue in design and implementation of contemporary information systems, such as databases, data warehouses, knowledge based systems or decision support systems. This paper explores and further develops the ideas of TUS, the Time Unit System being an algebraic tool for constructing simple yet powerful temporal specifications. In particular, an extended Version of TUS, called XTUS is presented in details and its basic operations and properties are shown. It is argued that this simple and consistent with natural calendar way of building temporal specifications is capable of dealing with phenomena such as nested cycles. A somewhat extended example is used to illustrate the ideas and application.
\itemrv{~}
\itemcc{}
\itemut{Time Unit System; representation of temporal knowledge}
\itemli{}
\end