Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Exact and approximate reasoning about temporal relations
Computational Intelligence
Temporal reasoning and planning
Reasoning about plans
Artificial Intelligence - Special issue on knowledge representation
A canonical form for generalized linear constraints
Journal of Symbolic Computation
Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
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)
Maintaining knowledge about temporal intervals
Communications of the ACM
Towards a complete classification of tractability in Allen's algebra
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
A complete classification of tractability in RCC-5
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
A representation for efficient temporal reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
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
The Complexity of Constraints on Intervals and Lengths
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Some Observations on Durations, Scheduling and Allen's Algebra
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
Journal of the ACM (JACM)
Complexity classification in qualitative temporal constraint reasoning
Artificial Intelligence
Temporal reasoning about fuzzy intervals
Artificial Intelligence
Reasoning on interval and point-based disjunctive metric constraints in temporal contexts
Journal of Artificial Intelligence Research
Reasoning about action in polynomial time
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Towards a complete classification of tractability in Allen's algebra
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Complexity classification in qualitative temporal constraint reasoning
Artificial Intelligence
Early Verification of Computer Systems Temporal Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Grading knowledge: extracting degree information from texts
Grading knowledge: extracting degree information from texts
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |
This paper combines two important directions of research in temporal resoning: that of finding maximal tractable subclasses of Allen's interval algebra, and that of reasoning with metric temporal information. Eight new maximal tractable subclasses of Allen's interval algebra are presented, some of them subsuming previously reported tractable algebras. The algebras allow for metric temporal constraints on interval starting or ending points, using the recent framework of Horn DLRs. Two of the algebras can express the notion of sequentiality between intervals, being the first such algebras admitting both qualitative and metric time.