Towards a general theory of action and time
Artificial Intelligence
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
A temporally oriented data model
ACM Transactions on Database Systems (TODS)
A logic-based calculus of events
New Generation Computing
Computer
The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
Adding time dimension to relational model and extending relational algebra
Information Systems
Artificial Intelligence
Three recent approaches to temporal reasoning
Temporal logics and their applications
Defining data types in a database language
ACM SIGMOD Record
Time modeling in office information systems
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Formal semantics for time in databases
ACM Transactions on Database Systems (TODS)
A query language for a homogeneous temporal database
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Maintaining knowledge about temporal intervals
Communications of the ACM
Designing DBMS support for the temporal dimension
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Temporal Data Management Systems: A Comparative View
IEEE Transactions on Knowledge and Data Engineering
An Implementation of Hypothetical Relations
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A logical framework for temporal deductive databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Modelling Information Preserving Databases: Consequences of the Concept of Time
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
The role of time in information processing: a survey
ACM SIGMOD Record
Temporal granularity for unanchored temporal data
Proceedings of the seventh international conference on Information and knowledge management
Spatial Reasoning Using the Quad Tesseral Representation
Artificial Intelligence Review
Temporal Granularity: Completing the Puzzle
Journal of Intelligent Information Systems
Temporal Data Management Systems: A Comparative View
IEEE Transactions on Knowledge and Data Engineering
Temporal Indeterminancy in Deductive Databases: An Approach Based on Event Calculus
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Temporal Databases with Null Values
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
The VLDB Journal — The International Journal on Very Large Data Bases
A point based model of the Gregorian Calendar
Computer Languages, Systems and Structures
Hi-index | 0.00 |
In many computer-based applications, temporal information has to be stored, retrieved, and related to other temporal information. Several time models have been proposed to manage temporal knowledge in the fields of conceptual modeling, database systems, and artificial intelligence.In this paper we present TSOS, a system for reasoning about time that can be integrated as a time expert in environments designed for broader problem-solving domains. The main intended goal of TSOS is to allow a user to infer further information on the temporal data stored in the database through a set of deduction rules handling various aspects of time. For this purpose, TSOS provides the capability of answering queries about the temporal specifications it has in its temporal database. Distinctive time-modeling features of TSOS are the introduction of temporal modalitites, i.e., the possibility of specifying if a piece of information is always true within a time interval, or if it is only sometimes true, and the capability of answering about the possibility and the necessity of the validity of some information at a given time, the association of temporal knowledge both to instances of data and to types of data, and the development of a time calculus for reasoning on temporal data. Another relevant feature of TSOS is the capability to reason about temporal data specified at different time granularities.