A unifying approach to temporal constraint reasoning

Artificial Intelligence

Volumn 102, Issue 1, 1998, Pages 143-155

  Jonsson, Peter ^a   Bäckström, Christer ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

Algorithms; Complexity; Disjunctive linear relations; Temporal constraint reasoning

Indexed keywords

ALGEBRA; ALGORITHMS; MATHEMATICAL TECHNIQUES; POLYNOMIALS;

TEMPORAL CONSTRAINT REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0041126003     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(98)00031-9     Document Type: Article

References (26)

1. J.F. Allen, Maintaining knowledge about temporal intervals, Comm. ACM 26 (11) (1983) 832-843.
2. J.F. Allen, Temporal reasoning and planning, in: J. Allen, H. Kautz, R. Pelavin, J. Tenenberg (Eds.), Reasoning about Plans, Morgan Kaufmann, San Mateo, CA, 1991, pp. 1-67.
3. F.A. Barber, A metric time-point and duration-based temporal model, SIGART Bull. 4 (3) (1993) 30-49.
4. S. Benzer, On the topology of the genetic fine structure, Proc. Nat. Acad. Sci. USA (1959) 1607-1620.
5. T. Dean, M. Boddy, Reasoning about partially ordered events. Artificial Intelligence 36 (1989) 375-399.
6. R. Dechter, I. Meiri, J. Pearl, Temporal constraint networks, Artificial Intelligence 49 (1991) 61-95.
7. T. Drakengren, M. Böreland, Reasoning about action in polynomial time, in: Proceedings 15th International Joint Conference on Artificial Intelligence (IJCAI-97), Morgan Kaufmann, San Mateo, CA, 1997, pp. 1447-1452.
8. T. Drakengren, P. Jonsson, Eight maximal tractable subclasses of Allen's algebra with metric time, J. Artif. Intell. Res. 7 (1997) 25-45.
9. T. Drakengren, P. Jonsson, Twenty-one large tractable subclasses of Allen's algebra, Artificial Intelligence 93 (1997) 297-319.
10. A. Gerevini, L. Schubert, S. Schaeffer, Temporal reasoning in Timegraph I-II, SIGART Bull. 4 (3) (1993) 21-25.
11. M.C. Golumbic, R. Shamir, Complexity and algorithms for reasoning about time: a graph-theoretic approach, J. ACM 40 (5) (1993) 1108-1133.
12. P. Jonsson and C. Bäckström, A linear-programming approach to temporal reasoning, in: Proceedings 13th National Conference on Artificial Intelligence (AAAI-96), Portland, OR, 1996, pp. 1235-1240.
13. P. Jonsson, T. Drakengren, C. Bäckström, Tractable subclasses of the point-interval algebra: a complete classification, in: Proceedings 5th International Conference on Principles of Knowledge Representation and Reasoning (KR-96), Morgan Kaufmann, San Mateo, CA, 1996, pp. 352-363.
14. P.C. Kanellakis, G.M. Kuper, P.Z. Revesz, Constraint query languages, J. Comput. Syst. Sci. 51 (1) (1995) 26-52.
15. N. Karmarkar, A new polynomial time algorithm for linear programming, Combinatorica 4 (1984) 373-395.
16. H. Kautz, P. Ladkin, Integrating metric and temporal qualitative temporal reasoning, in: Proceedings 9th National Conference Artificial Intelligence (AAAI-91), Anaheim, CA, 1991, pp. 241-246.
17. L.G. Khachiyan, A polynomial algorithm in linear programming, Soviet Math. Dokl. 20 (1979) 191-194.
18. M. Koubarakis, Dense time and temporal constraints with ≠, in: Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR-92), 1992, pp. 24-35.
19. M. Koubarakis, Tractable disjunctions of linear constraints, in: Proceedings 2nd International Conference on Principles and Practice for Constraint Programming, 1996, pp. 297-307.
20. J.-L. Lassez, K. McAloon, A canonical form for generalized linear constraints, J. Symbolic Logic 13 (1992) 1-14.
21. I. Meiri, Combining qualitative and quantitative constraints in temporal reasoning, Artificial Intelligence 87 (1-2) (1996) 343-385.
22. B. Nebel, H.-J. Bürckert, Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra, J. ACM 42 (1) (1995) 43-66.
23. F. Song, R. Cohen, The interpretation of temporal relations in narrative, in: Proceedings 7th National Conference on Artificial Intelligence (AAAI-88), 1988, pp. 745-750.
24. P. van Beek, R. Cohen, Exact and approximate reasoning about temporal relations. Comput. Intell. 6 (3) (1990) 132-144.
25. M.B. Vilain, A system for reasoning about time, in: Proceedings 2nd National Conference on Artificial Intelligence (AAAI-82), Pittsburgh, PA, 1982, pp. 197-201.
26. M.B. Vilain, H.A. Kautz, P.G. van Beek, Constraint propagation algorithms for temporal reasoning: a revised report, in: Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, San Mateo, CA, 1990, pp. 373-381.