Towards a general theory of action and time
Artificial Intelligence
A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Communicating sequential processes
Communicating sequential processes
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Arc and path consistence revisited
Artificial Intelligence
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Artificial Intelligence
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
Readings in nonmonotonic reasoning
Reasoning about action II: the qualification problem
Artificial Intelligence
The anomalous extension problem in default reasoning
Artificial Intelligence
Problems in formal temporal reasoning
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Chronological ignorance: experiments in nonmonotonic temporal reasoning
Artificial Intelligence
Reasoning about partially ordered events
Artificial Intelligence
Autoepistemic logic and formalization of commonsense reasoning: preliminary report
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Foundations of Equational Logic Programming
Foundations of Equational Logic Programming
Representations of commonsense knowledge
Representations of commonsense knowledge
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Modal queries about partially-ordered plans
Journal of Experimental & Theoretical Artificial Intelligence
Exact and approximate reasoning about temporal relations
Computational Intelligence
A new deductive approach to planning
New Generation Computing
A simple solution to the Yale shooting problem
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Combining logic and differential equations for describing real-world systems
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Temporally distributed symptoms in technical diagnosis
Temporally distributed symptoms in technical diagnosis
A propositional modal logic of time intervals
Journal of the ACM (JACM)
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Artificial Intelligence - Special issue on knowledge representation
On the applicability of nonmonotonic logic to formal reasoning in continuous time
Artificial Intelligence - Special issue on knowledge representation
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
Effective solution of qualitative interval constraint problems
Artificial Intelligence
Database updates in the event calculus
Journal of Logic Programming
Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
Temporal reasoning with abductive event calculus
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Temporal databases: theory, design, and implementation
Temporal databases: theory, design, and implementation
AAAI-92 workshop report: implementing temporal reasoning
ACM SIGART Bulletin
Temporal reasoning for planning and scheduling
ACM SIGART Bulletin
Embedding time granularity in a logical specification language for synchronous real-time systems
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
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
Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
Decomposing constraint satisfaction problems using database techniques
Artificial Intelligence
On the computational complexity of temporal projection, planning, and plan validation
Artificial Intelligence
Regular Article: On the Complexity of DNA Physical Mapping
Advances in Applied Mathematics
Two counterexamples related to Baker's approach to the frame problem
Artificial Intelligence
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Motivated action theory: a formal theory of causal reasoning
Artificial Intelligence
A qualitative physics compiler
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Efficient algorithms for qualitative reasoning about time
Artificial Intelligence
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
A circumscriptive calculus of events
Artificial Intelligence
The token reification approach to temporal reasoning
Artificial Intelligence
Using temporal logic to control search in a forward chaining planner
New directions in AI planning
Combining qualitative and quantitative constraints in temporal reasoning
Artificial Intelligence
A framework for knowledge-based temporal abstraction
Artificial Intelligence
From local to global consistency in temporal constraint networks
Theoretical Computer Science - Special issue: principles and practice of constraint programming
Artificial Intelligence
Twenty-one large tractable subclasses of Allen's algebra
Artificial Intelligence
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
Two-sorted metric temporal logics
Theoretical Computer Science - Special issue on algebraic methodology and software technology
The problem with solutions to the frame problem
The robot's dilemma revisited
MAAI '96 Proceedings of symposia in applied mathematics on Mathematical aspects of artificial intelligence
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Synthesizing constraint expressions
Communications of the ACM
The TSQL2 Temporal Query Language
The TSQL2 Temporal Query Language
Communication and Concurrency
Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action
Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action
Annals of Mathematics and Artificial Intelligence
Dynamic temporal interpretation contexts for temporal abstraction
Annals of Mathematics and Artificial Intelligence
Editorial: Temporal representation and reasoning
Annals of Mathematics and Artificial Intelligence
Planning for temporally extended goals
Annals of Mathematics and Artificial Intelligence
Focusing qualitative simulation using temporal logic: theoretical foundations
Annals of Mathematics and Artificial Intelligence
Temporal Constraints: A Survey
Constraints
Temporal and Real-Time Databases: A Survey
IEEE Transactions on Knowledge and Data Engineering
Later: Managing Temporal Information Efficiently
IEEE Expert: Intelligent Systems and Their Applications
Intelligent Agents in the Situation Calculus: an Application to User Modelling
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Cicumscribing Features and Fluents
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Reasoning about concurrent actions within features and fluents
TIME '96 Proceedings of the 3rd Workshop on Temporal Representation and Reasoning (TIME'96)
Processing disjunctions of temporal constraints
TIME '96 Proceedings of the 3rd Workshop on Temporal Representation and Reasoning (TIME'96)
Modal event calculi with preconditions
TIME '97 Proceedings of the 4th International Workshop on Temporal Representation and Reasoning (TIME '97)
Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases
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
TIME '99 Proceedings of the Sixth International Workshop on Temporal Representation and Reasoning
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Tachyon: A constraint-based temporal reasoning model and its implementation
ACM SIGART Bulletin
Towards a complete classification of tractability in Allen's algebra
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
Eight maximal tractable subclasses of Allen's algebra with metric time
Journal of Artificial Intelligence Research
Synthesizing plant controllers using real-time goals
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Computing ramifications by postprocessing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Noise and the common sense informatic situation for a mobile robot
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Representing actions and state constraints in model-based diagnosis
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Maximal tractable subclasses of Allen's interval algebra: preliminary report
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Approximate Qualitative Temporal Reasoning
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
A Path-Consistent Singleton Modeling (CSM) Algorithm for Arc-Constrained Networks
Applied Intelligence
Hypothetical Temporal Reasoning in Databases
Journal of Intelligent Information Systems - Special issue on data warehousing and knowledge discovery
Data Models with Multiple Temporal Dimensions: Completing the Picture
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
The VLDB Journal — The International Journal on Very Large Data Bases
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
Guest editorial: Temporal representation and reasoning in medicine
Artificial Intelligence in Medicine
Extending the event calculus for tracking epidemic spread
Artificial Intelligence in Medicine
Artificial Intelligence in Medicine
Temporal abstraction in intelligent clinical data analysis: A survey
Artificial Intelligence in Medicine
Journal of Biomedical Informatics
Crisp-fuzzy representation of Allen's temporal logic
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Exploiting temporal relations in mining hepatitis data
New Generation Computing
Propos: A Dynamic Web Tool for Managing Possibilistic and Probabilistic Temporal Constraint Networks
IWINAC '07 Proceedings of the 2nd international work-conference on Nature Inspired Problem-Solving Methods in Knowledge Engineering: Interplay Between Natural and Artificial Computation, Part II
A Theory of Action, Knowledge and Time in the Event Calculus
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Temporal similarity by measuring possibilistic uncertainty in CBR
Fuzzy Sets and Systems
Dynamic simulation of action at operations level
Autonomous Agents and Multi-Agent Systems
Integration of Learning Methods, Medical Literature and Expert Inspection in Medical Data Mining
IEICE - Transactions on Information and Systems
Modeling and learning vague event durations for temporal reasoning
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Commitment tracking via the reactive event calculus
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Tableau-Based System for Spatial Reasoning about Directional Relations
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
What happened to my commitment? exception diagnosis among misalignment and misbehavior
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Annotating and learning event durations in text
Computational Linguistics
Social commitments in time: satisfied or compensated
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
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
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
Temporal Bayesian Knowledge Bases - Reasoning about uncertainty with temporal constraints
Expert Systems with Applications: An International Journal
Computational complexity of linear constraints over the integers
Artificial Intelligence
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
Automatic Learning of Temporal Relations Under the Closed World Assumption
Fundamenta Informaticae - Cognitive Informatics and Computational Intelligence: Theory and Applications
Hi-index | 0.00 |
Time is one of the most relevant topics in AI. It plays a major role in several areas, ranging from logical foundations to applications of knowledge‐based systems. In this paper, we survey a wide range of research in temporal representation and reasoning, without committing ourselves to the point of view of any specific application. The organization of the paper follows the commonly recognized division of the field in two main subfields: reasoning about actions and change, and reasoning about temporal constraints. We give an overview of the basic issues, approaches, and results in these two areas, and outline relevant recent developments. Furthermore, we briefly analyze the major emerging trends in temporal representation and reasoning as well as the relationships with other well‐established areas, such as temporal databases and logic programming.