Maintaining knowledge about temporal intervals
Readings in qualitative reasoning about physical systems
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Temporal reasoning based on semi-intervals
Artificial Intelligence
Journal of the ACM (JACM)
Relation algebras of intervals
Artificial Intelligence
Relations algebras in qualitative spatial reasoning
Fundamenta Informaticae
Algorithms on Trees and Graphs
Algorithms on Trees and Graphs
Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
The Point Algebra for Branching Time Revisited
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
The completeness of a natural system for reasoning with time intervals
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Models of axioms for time intervals
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A new proof of tractability for 0RD-horn relations
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Temporalizing spatial calculi: on generalized neighborhood graphs
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
Allen's interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restricted to domains that deal with linear flows of time. But how the fundamental ideas of Allen's calculus can be extended to other, weaker structures than linear orders has gained only little attention in the literature. In this paper we will investigate intervals in branching flows of time, which are of special interest for temporal reasoning, since they allow for representing indeterministic aspects of systems, scenarios, planning tasks, etc. As well, branching time models, i.e., treelike non-linear structures, do have interesting applications in the field of spatial reasoning, for example, for modeling traffic networks. In a first step we discuss interval relations for branching time, thereby comprising various sources from the literature. Then, in a second step, we present some new complexity results concerning constraint satisfaction problems of interval relations in branching time.