Towards a general theory of action and time
Artificial Intelligence
Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
From unification to constraints
Proceedings of the 6th Conference on Logic programming '87
A critical examination of Allen's theory of action and time
Artificial Intelligence
Exact and approximate reasoning about temporal relations
Computational Intelligence
Artificial Intelligence - Special issue on knowledge representation
Temporal reasoning based on semi-intervals
Artificial Intelligence
The logic of constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
Intelligent scheduling
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Hybrid temporal reasoning for planning and scheduling
TIME '96 Proceedings of the 3rd Workshop on Temporal Representation and Reasoning (TIME'96)
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
In this paper we present a specialized system for temporal reasoning representing possibly uncertain qualitative and quantitative constraints relative to temporal intervals in a homogeneous framework. The underlying logic is that of Allen, which we have extended to include quantitative temporal information. Intervals are still assumed as primitive entities while, to represent metric information, time points are introduced only at the algorithmic level. We illustrate the properties of the temporal representation, the algorithms used for constraint propagation, and their complexity. We show how the system can be used to schedule manufacturing operations in a small factory.