"Corner" Relations in Allen's algebra

Constraints

Volumn 3, Issue 2-3, 1998, Pages 165-177

  Ligozat, Gérard ^a  

^a CNRS   (France)

Author keywords

Allen's algebra; Complexity; Temporal reasoning

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

ALLEN'S ALGEBRA; COMPLEXITY; NP-COMPLETE; TEMPORAL REASONING;

ALGEBRA;

EID: 0001634934     PISSN: 13837133     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1009721626239     Document Type: Article

References (14)

1. J. Allen. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM 26: 832-843.
2. A. Frank. (1992). Qualitative spatial reasoning about distances and directions in geographic space. Journal of Visual Languages and Computing 3: 343-371.
3. P. Ladkin & Maddux. (1988). On binary constraint networks. Tech. Rep. KES.U.88.8., Kestrel Institute, Palo Alto, CA.
4. G. Ligozat. (1990). Weak representations of interval algebras. In Proceedings of AAAI-90, pages 715-720.
5. G. Ligozat. (1991). On generalized interval calculi. In Proceedings of AAAI-91, pages 234-240.
6. G. Ligozat. (1993). Models for qualitative spatial reasoning. In Proceedings of the IJCAI-93 Workshop on Spatial and Temporal Reasoning.
7. G. Ligozat. (1994). Towards a general characterization of conceptual neighborhoods in temporal and spatial reasoning. In Proceedings of the AAAI-94 Workshop on Spatial and Temporal Reasoning, pages 55-59.
8. G. Ligozat (1994). Tractable relations in temporal reasoning: pre-convex relations. In Proceedings of the ECAI-94 Workshop W12 on Spatial and Temporal Reasoning, pages 99-108.
9. G. Ligozat. (1994). Temporal Reasoning Made Simpler. In Proceedings of IEA/AIE 94, pages 123-130.
10. G. Ligozat. (1996). A new proof of tractability for ORD-Horn relations. In Proceedings of AAAI-96, pages 395-401.
11. G. Ligozat. (1998). Reasoning about cardinal directions. Journal of Visual Languages and Computing, forthcoming.
12. B. Nebel & H.-J. Bürckert. (1995). Reasoning About Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra, J. of the ACM 42: 43-66.
13. P. van Beek. (1990). Reasoning about qualitative temporal information. In Proceedings of AAAI-90, pages 728-734.
14. M.B. Vilain, H.A. Kautz & P.G. van Beek. (1989). Constraint propagation algorithms for temporal reasoning: A revised report. In D. S. Weld & J. de Kleer, eds., Readings in Qualitative Reasoning about Physical Systems, pages 373-381, San Mateo, CA: Morgan-Kaufmann.