Exact and approximate reasoning about temporal relations
Computational Intelligence
Temporal reasoning and planning
Reasoning about plans
Artificial Intelligence - Special issue on knowledge representation
Temporal reasoning in Timegraph I–II
ACM SIGART Bulletin
Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
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
Maintaining knowledge about temporal intervals
Communications of the ACM
A complete classification of tractability in RCC-5
Journal of Artificial Intelligence Research
Eight maximal tractable subclasses of Allen's algebra with metric time
Journal of Artificial Intelligence Research
A linear-programming approach to temporal reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Maximal tractable subclasses of Allen's interval algebra: preliminary report
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Temporal Constraints: A Survey
Constraints
Some Observations on Durations, Scheduling and Allen's Algebra
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Spatial and temporal reasoning: beyond Allen's calculus
AI Communications - Special issue on: Spatial and temporal reasoning
Using a temporal constraint network for business process execution
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Spatial and temporal reasoning: beyond Allen's calculus
AI Communications - Spatial and Temporal Reasoning
Eight maximal tractable subclasses of Allen's algebra with metric time
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
We characterise the set of subalgebras of Allen's algebra which have a tractable satisfiability problem, and in addition contain certain basic relations. The conclusion is that no tractable subalgebra that is not known in the literature can contain more than the three basic relations (≡), (b) and (b-), where b ∈ {d,o,s,f}. This means that concerning algebras for specifying complete knowledge about temporal information, there is no hope of finding yet unknown classes with much expressivity. Furthermore, we show that there are exactly two maximal tractable algebras which contain the relation (). Both of these algebras can express the notion of sequentially; thus we have a complete characterisation of tractable inference using that notion.