POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of Symbolic Computation
Finite representation of infinite query answers
ACM Transactions on Database Systems (TODS)
Datalog with integer periodicity constraints
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
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)
Temporal deductive databases and infinite objects
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The TSQL2 Temporal Query Language
The TSQL2 Temporal Query Language
Time Granularities in Databases, Data Mining and Temporal Reasoning
Time Granularities in Databases, Data Mining and Temporal Reasoning
Symbolic representation of user-defined time granularities
Annals of Mathematics and Artificial Intelligence
An Algebraic Representation of Calendars
Annals of Mathematics and Artificial Intelligence
Integrating Calendar Dates and Qualitative Temporal Constraints in the Treatment of Periodic Events
IEEE Transactions on Knowledge and Data Engineering
Discovering calendar-based temporal association rules
Data & Knowledge Engineering - Special issue: Temporal representation and reasoning
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
Characterizing temporal repetition
TIME '96 Proceedings of the 3rd Workshop on Temporal Representation and Reasoning (TIME'96)
IEEE Transactions on Knowledge and Data Engineering
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming
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
A flexible approach to user-defined symbolic granularities in temporal databases
Proceedings of the 2005 ACM symposium on Applied computing
Representing and Reasoning about Temporal Granularities
Journal of Logic and Computation
A mathematical framework for the semantics of symbolic languages representing periodic time
Annals of Mathematics and Artificial Intelligence
Ultimately Periodic Simple Temporal Problems (UPSTPs)
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
Integrating multiple calendars using τ Z AMAN
Software—Practice & Experience
Temporal Relations of Intervals with a Gap
TIME '07 Proceedings of the 14th International Symposium on Temporal Representation and Reasoning
Data & Knowledge Engineering
Supporting temporal reasoning by mapping calendar expressions to minimal periodic sets
Journal of Artificial Intelligence Research
An algebraic approach to granularity in qualitative time and space representation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
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 |
Many applications in Artificial Intelligence and Data Bases deal with (domain and/or goal-dependent) temporal patterns that repeat regularly over time (periodicities). Hence the need for formal languages that allow users to define periodicities. Among proposals in the literature, symbolic languages are sets of operators for compositional and incremental definition. We propose a new methodology for designing symbolic languages, based on a preliminary analysis of the required expressiveness. The analysis is guided by a classification of the periodicities according to expressiveness properties that are mutually independent. Each of the properties will be then paired with a language operator such that the addition of that operator to a language adds the capability of defining all periodicities having the corresponding property. A modular family of languages with well-defined expressiveness is the result of this process. Moreover, in this paper we instantiate the general methodology by identifying a specific set of properties which we also use in order to classify the expressiveness of different symbolic approaches in the literature.