Towards a general theory of action and time
Artificial Intelligence
Ten requirements for a theory of change
New Generation Computing
Artificial Intelligence
Constraint propagation with interval labels
Artificial Intelligence
Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
on Advances in artificial intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
Logical modeling of temporal data
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Modal and temporal logic programming
Temporal logics and their applications
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 with worlds and truth maintenance in a knowledge-based programming environment
Communications of the ACM
Problems in formal temporal reasoning
Artificial Intelligence
Practical planning: extending the classical AI planning paradigm
Practical planning: extending the classical AI planning paradigm
Logic-based knowledge representations
Logic-based knowledge representations
Modal resolution in clausal form
Theoretical Computer Science
Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
A critical examination of Allen's theory of action and time
Artificial Intelligence
Strategies for modal resolution: results and problems
Journal of Automated Reasoning
Temporal representation of clinical algorithms using expert-system and database tools
Computers and Biomedical Research
Computational Intelligence
Logics and models of concurrent systems
Localizing temporal constraint propagation: defaults and exceptions
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial Intelligence - Special issue on knowledge representation
Artificial Intelligence
Temporal reasoning based on semi-intervals
Artificial Intelligence
Representation and use of imprecise temporal knowledge in dynamic systems
Fuzzy Sets and Systems
Temporal reasoning in Timegraph I–II
ACM SIGART Bulletin
Performance of temporal reasoning systems
ACM SIGART Bulletin
Proving properties of states in the situation calculus
Artificial Intelligence
A model and a language for the fuzzy representation and handling of time
Fuzzy Sets and Systems
A survey on temporal reasoning in artificial intelligence
AI Communications
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
On the logic of causal explanation
Artificial Intelligence
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Maintaining knowledge about temporal intervals
Communications of the ACM
"Sometime" is sometimes "not never": on the temporal logic of programs
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Planning for temporally extended goals
Annals of Mathematics and Artificial Intelligence
Adding Temporal Reasoning to Expert-System-Building Environments
IEEE Expert: Intelligent Systems and Their Applications
Modeling Time Aspects of Information Systems
Proceedings of the Second International Conference on Data Engineering
METATEM: A Framework for Programming in Temporal Logic
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Representation of temporal knowledge
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Planning using a temporal world model
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Tense, aspect, and cognitive representation of time
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Splicing plans to achieve misordered goals
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A parallel algorithm for statistical belief refinement and its use in causal reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Approximation algorithms for temporal reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Managing efficiently temporal relations through indexed spanning trees
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Efficient temporal reasoning through timegraphs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The ramification problem in the event calculus
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic logics: meaning and utility
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Non-standard semantics for the method of temporal arguments
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
The completeness of a natural system for reasoning with time intervals
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
A resolution method for temporal logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Reified temporal theories and how to unreify them
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Simple causal minimizations for temporal persistence and projection
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Models of axioms for time intervals
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Integrating metric and qualitative temporal reasoning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Temporal reasoning in sequence graphs
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Planning in Time: Windows and Durations for Activities and Goals
IEEE Transactions on Pattern Analysis and Machine Intelligence
A temporal constraint structure for extracting temporal information from clinical narrative
Journal of Biomedical Informatics
Journal of Biomedical Informatics
Computing context-dependent temporal diagnosis in complex domains
Expert Systems with Applications: An International Journal
A Possibilistic Approach for Mining Uncertain Temporal Relations from Diagnostic Evolution Databases
IWINAC '07 Proceedings of the 2nd international work-conference on The Interplay Between Natural and Artificial Computation, Part I: Bio-inspired Modeling of Cognitive Tasks
Modeling urban scenes in the spatial-temporal space
ACCV'10 Proceedings of the 10th Asian conference on Computer vision - Volume Part II
An iterative method for mining frequent temporal patterns
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Temporal relation analysis in audiovisual documents for complementary descriptive information
AMR'05 Proceedings of the Third international conference on Adaptive Multimedia Retrieval: user, context, and feedback
A Fuzzy Temporal Rule-based System for handling the Nursing Process on mobile devices
Expert Systems with Applications: An International Journal
A tree structure for event-based sequence mining
Knowledge-Based Systems
Mining generalized temporal patterns based on fuzzy counting
Expert Systems with Applications: An International Journal
Hi-index | 0.99 |
The explicit representation and reasoning about time is an important problem in many areas of artificial intelligence. Over the last 10-15 years, it has been attracting the attention of many researchers. Several temporal reasoning systems, differing in design issues related to ontology of time, underlying temporal logic, temporal constraints used and algorithms employed, have been developed. In this survey, important representational issues which determine a temporal reasoning system are introduced. In particular, several important notions like change, causality, actions are described in terms of time. For each issue different choices available in the literature are discussed. The most influential approaches to temporal reasoning in artificial intelligence are analyzed in terms of these major representational issues.