Towards a general theory of action and time
Artificial Intelligence
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Readings in database systems
A generalized model for a relational temporal database
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Extending relational algebra to manipulate temporal data
Information Systems
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of Symbolic Computation
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Exact and approximate reasoning about temporal relations
Computational Intelligence
On the representation of infinite temporal data and queries (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Finite representation of infinite query answers
ACM Transactions on Database Systems (TODS)
Database models for infinite and indefinite temporal information
Information Systems
Handling infinite temporal data
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal deductive databases and infinite objects
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Maintaining knowledge about temporal intervals
Communications of the ACM
The TSQL2 Temporal Query Language
The TSQL2 Temporal Query Language
Implementing Calendars and Temporal Rules in Next Generation Databases
Proceedings of the Tenth International Conference on Data Engineering
Data on Air - What's in it for the Database Theorist
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Managing Temporal Financial Data in an Extensible Database
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Extending Temporal Relational Databases to Deal with Imprecise and Qualitative Temporal Information
Proceedings of the International Workshop on Temporal Databases: Recent Advances in Temporal Databases
Implementation of the BACK-System Version 4
Implementation of the BACK-System Version 4
Iteration, habituality and verb form semantics
EACL '87 Proceedings of the third conference on European chapter of the Association for Computational Linguistics
Symbolic representation of user-defined time granularities
Annals of Mathematics and Artificial Intelligence
Efficiently Supporting Temporal Granularities
IEEE Transactions on Knowledge and Data Engineering
Symbolic User-Defined Periodicity in Temporal Relational Databases
IEEE Transactions on Knowledge and Data Engineering
The VLDB Journal — The International Journal on Very Large Data Bases
An efficient e-mail filtering using time priority measurement
Information Sciences—Informatics and Computer Science: An International Journal
A mathematical framework for the semantics of symbolic languages representing periodic time
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence in Medicine
A modular approach to user-defined symbolic periodicities
Data & Knowledge Engineering
Periodicity-Based temporal constraints
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Temporal constraints with multiple granularities in smart homes
Designing Smart Homes
A modular approach for representing and executing clinical guidelines
Artificial Intelligence in Medicine
Hi-index | 0.00 |
The paper describes a framework for representing and reasoning with periodic events. In particular, it proposes a temporal formalism which deals with both 1) quantitative information concerning the frame of time (e.g., between 1990 and 1993) and the user-defined calendar-dates (e.g., on the first Mondays of April) in which periodic events are located and 2) the qualitative relations between periodic events (e.g., Sam visits the branch office X01 before going to his office). The meaning of the temporal specifications in our formalism is described in logical terms. The paper defines the basic operations of inversion, intersection and composition of temporal specifications. These operations are correct (with respect to the logical definition of the specifications) and do not lose information. Finally, the paper also describes a correct algorithm which takes advantage of these operations for performing temporal reasoning, and analyses its complexity. An application of the temporal framework to the scheduling in an office is shown in an example.