Planning Routes through uncertain territory
Artificial Intelligence
Domain-independent planning: representation and plan generation
Artificial Intelligence
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Introduction to artificial intelligence
Introduction to artificial intelligence
A logic-based calculus of events
New Generation Computing
Handling shared resources in a temporal data base management system
Decision Support Systems
Artificial Intelligence
Constraint propagation with interval labels
Artificial Intelligence
Planning for conjunctive goals
Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about partially ordered events
Artificial Intelligence
Reasoning about the effects of actions in automated planning systems
Annals of Operations Research
Formal semantics for time in databases
ACM Transactions on Database Systems (TODS)
Maintaining knowledge about temporal intervals
Communications of the ACM
Artificial Intelligence Programming
Artificial Intelligence Programming
Designing DBMS support for the temporal dimension
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Flexibility and Efficiency in a Computer Program for Designing Circuits
Flexibility and Efficiency in a Computer Program for Designing Circuits
The role of time in information processing: a survey
ACM SIGART Bulletin
Managing Communication Networks by Monitoring Databases
IEEE Transactions on Software Engineering
A metric time-point and duration-based temporal model
ACM SIGART Bulletin
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Temporal Reasoning in Workflow Systems
Distributed and Parallel Databases
A general framework for time granularity and its application to temporal reasoning
Annals of Mathematics and Artificial Intelligence
STCSP – structured temporal constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
An Algebraic Representation of Calendars
Annals of Mathematics and Artificial Intelligence
Querying Temporal Constraint Networks: A Unifying Approach
Applied Intelligence
Temporal Triggers in Active Databases
IEEE Transactions on Knowledge and Data Engineering
Deriving Abstract Views of Multi-granularity Temporal Constraint Networks
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
An efficient and evolutionary hierarchical modeling and simulation approach
Systems Analysis Modelling Simulation - Special issue: Environmental modeling and simulation
Temporal reasoning in process planning
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Exploiting domain structure to achieve efficient temporal reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Improving search using indexing: a study with temporal CSPs
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Grading knowledge: extracting degree information from texts
Grading knowledge: extracting degree information from texts
An approach to reasoning about continuous change for applications in planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Temporal query processing with indefinite information
Artificial Intelligence in Medicine
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.01 |
Many real-world applications involve the management of largeamounts of time-dependent information. Temporal database systemsmaintain this information in order to support various sorts of inference(e.g., answering questions involving propositions that are true oversome intervals and false over others). For any given proposition, thereare typically many different occasions on which that proposition becomestrue and persists for some length of time. In this paper, theseoccasions are referred to as time tokens. Many routine databaseoperations must search through the database for time tokenssatisfying certain temporal constraints. To expedite these operations,this paper describes a set of techniques for organizing temporalinformation by exploiting the local and global structure inherent in awide class of temporal reasoning problems. The global structure of timeis exemplified in conventions for partitioning time according to thecalendar and the clock. This global structure is used to partition theset of time tokens to facilitate retrieval. The local structure of timeis exemplified in the causal relationships between events and thedependencies between planned activities. This local structure is used aspart of a strategy for reducing the computation required duringconstraint propagation. The organizational techniques described in thispaper are quite general, and have been used to support a variety ofpowerful inference mechanisms. Integrating these techniques into anexisting temporal database system has increased, by an order ofmagnitude or more in most applications, the number of time tokens thatcan be efficiently handled.—Author's Abstract