Towards a general theory of action and time
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Executing temporal logic programs
Executing temporal logic programs
Ten requirements for a theory of change
New Generation Computing
A logic-based calculus of events
New Generation Computing
Temporal imagery: an approach to reasoning about time for planning and problem solving
Temporal imagery: an approach to reasoning about time for planning and problem solving
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Logics of time and computation
Logics of time and computation
Artificial Intelligence
Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
Temporal logics and their applications
Temporal logics and their applications
Three recent approaches to temporal reasoning
Temporal logics and their applications
Temporal logics and their applications
A semantical approach to nonmonotonic logics
Readings in nonmonotonic reasoning
Problems in formal temporal reasoning
Artificial Intelligence
Chronological ignorance: experiments in nonmonotonic temporal reasoning
Artificial Intelligence
Reasoning about partially ordered events
Artificial Intelligence
On the declarative semantics of logic programs with negation
Foundations of deductive databases and logic programming
Miracles in formal theories of action
Artificial Intelligence
On relations between intervals
Information Processing Letters
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
Moments and points in an interval-based temporal logic
Computational Intelligence
Representing and reasoning about a dynamic world
Representing and reasoning about a dynamic world
A propositional modal logic of time intervals
Journal of the ACM (JACM)
Temporal reasoning and planning
Reasoning about plans
Artificial Intelligence
Temporal reasoning based on semi-intervals
Artificial Intelligence
Database updates in the event calculus
Journal of Logic Programming
The modal quantificational logic Z applied to the frame problem
International Journal of Expert Systems - Special issue on the frame problem. Part A
Persistence in continuous first order temporal logics
International Journal of Expert Systems - Special issue on the frame problem. Part A
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Essentials of artificial intelligence
Essentials of artificial intelligence
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
The situation calculus and event calculus compared
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Knowledge representation and reasoning for mixed-initiative planning
Knowledge representation and reasoning for mixed-initiative planning
Exploring logical dynamics
Maintaining knowledge about temporal intervals
Communications of the ACM
Truth, Deduction, and Computation: Logic and Semantics for Computer Science
Truth, Deduction, and Computation: Logic and Semantics for Computer Science
Logic for Artificial Intelligence
Logic for Artificial Intelligence
Proceedings of the First International Conference on Temporal Logic
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
Querying TSQL2 Databases with Temporal Logic
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
The Abductive Event Calculus as a General Framework for Temporal Databases
ICTL '94 Proceedings of the First International Conference on Temporal Logic
An Overview of Temporal and Modal Logic Programming
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Situation Calculus Specifications for Event Calculus Logic Programs
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic reasoning on a constructive time structure
TIME '96 Proceedings of the 3rd Workshop on Temporal Representation and Reasoning (TIME'96)
Representation of Continuous Change with Discrete Time
TIME '97 Proceedings of the 4th International Workshop on Temporal Representation and Reasoning (TIME '97)
Modal event calculi with preconditions
TIME '97 Proceedings of the 4th International Workshop on Temporal Representation and Reasoning (TIME '97)
Event Calculus with Explicit Quantifiers
TIME '98 Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning
Towards a Formal Characterization of Temporal Repetition with Closed Time
TIME '98 Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning
Time for Action: On the Relation between Time, Knowledge, and Action
Time for Action: On the Relation between Time, Knowledge, and Action
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
A temporal argumentative system
AI Communications
A general framework for reasoning about change
New Generation Computing
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
Temporal abstraction in intelligent clinical data analysis: A survey
Artificial Intelligence in Medicine
Journal of Biomedical Informatics
A modeling method and declarative language for temporal reasoning based on fluid qualities
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
Methodological Review: Annotating temporal information in clinical narratives
Journal of Biomedical Informatics
Hi-index | 0.01 |
Temporal reasoning started to be considered as a subject of study in artificial intelligence in the late 1970's. Since then several ways to represent and use temporal knowledge have been suggested. As a result of that, there are several formalisms capable of coping with temporal notions in some way or other. They range from isolated proposals to complex systems where the temporal aspect is used together with other important features for the task of modelling an intelligent agent. The purposes of this article are to summarize logic-based temporal reasoning research and give a glance on the different research tracks envisaging future lines of research. It is intended to be useful to those who need to be involved in systems having these characteristics and also an occasion to present newcomers some problems in the area that still waits for a solution.