A course in number theory and cryptography
A course in number theory and cryptography
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of Symbolic Computation
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Finite representation of infinite query answers
ACM Transactions on Database Systems (TODS)
Handling infinite temporal data
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On periodicity in temporal databases
Information Systems
An access control model supporting periodicity constraints and temporal reasoning
ACM Transactions on Database Systems (TODS)
Symbolic representation of user-defined time granularities
Annals of Mathematics and Artificial Intelligence
An Algebraic Representation of Calendars
Annals of Mathematics and Artificial Intelligence
Solving multi-granularity temporal constraint networks
Artificial Intelligence
Integrating Calendar Dates and Qualitative Temporal Constraints in the Treatment of Periodic Events
IEEE Transactions on Knowledge and Data Engineering
Symbolic User-Defined Periodicity in Temporal Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Implementing Calendars and Temporal Rules in Next Generation Databases
Proceedings of the Tenth International Conference on Data Engineering
A Lattice of Classes of User-Defined Symbolic Periodicities
TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time
TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
The Role of Labeled Partitionings for Modeling Periodic Temporal Notions
TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
Representing and Reasoning about Temporal Granularities
Journal of Logic and Computation
A modular approach to user-defined symbolic periodicities
Data & Knowledge Engineering
Temporal aggregation on user-defined granularities
Journal of Intelligent Information Systems
An implicit approach to deal with periodically repeated medical data
Artificial Intelligence in Medicine
An intensional approach for periodic data in relational databases
Journal of Intelligent Information Systems
Hi-index | 0.00 |
In several areas, including Temporal DataBases (TDB), Presburger arithmetic has been chosen as a standard reference for 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. Finally, we use the semantics to compare a few AI and TDB symbolic approaches.