A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time

Authors:
Lavinia Egidi;Paolo Terenziani
Affiliations:
Università del Piemonte Orientale A. Avogadro;Università del Piemonte Orientale A. Avogadro
Venue:
TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
Year:
2004

Citing 0
Cited 6

A flexible approach to user-defined symbolic granularities in temporal databases

Proceedings of the 2005 ACM symposium on Applied computing
A mathematical framework for the semantics of symbolic languages representing periodic time

Annals of Mathematics and Artificial Intelligence
Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines

Artificial Intelligence in Medicine
A modular approach to user-defined symbolic periodicities

Data & Knowledge Engineering
Evaluating Exceptions on Time Slices

ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Querying multi-granular compact representations

DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

In several areas, including Temporal Data Bases, Presburger Arithmetic has been chosen as a standard reference to express the semantics of languages representing periodic time, and to study their expressiveness. On the other hand, the proposal of most symbolic languages in the AI literature has not been paired with an adequate semantic counterpart, making the task of studying the expressiveness of such languages and of comparing them a very complex one. In this paper, we first define a representation language which enables us to handle each temporal point as a complex object enriched with all the structure it is immersed in,and then we use it in order to provide a Presburger semantics for classes of symbolic languages coping with periodicity.