Tractable approximations for temporal constraint handling

Artificial Intelligence

Volumn 116, Issue 1-2, 2000, Pages 287-295

  Hirsch, Robin ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; APPROXIMATION THEORY; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; KNOWLEDGE REPRESENTATION; THEOREM PROVING;

NETWORK SATISFACTION PROBLEM; RELATION ALGEBRA; TEMPORAL CONSTRAINTS; TRACTABLE APPROXIMATIONS;

ARTIFICIAL INTELLIGENCE;

EID: 0033880297     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00089-2     Document Type: Article

References (25)

1. Allen J. An interval-based representation of temporal knowledge. Proc. IJCAI-81, Vancouver, BC. 1981;Morgan Kaufmann, San Mateo, CA.
2. Allen J.F. Towards a general theory of action and time. Artificial Intelligence. 23:(2):1984;123-154.
3. Allen J.F., Hayes P.J. Moments and points in an interval-based temporal logic, Technical Report TR180. 1985;Department of Computer Science, University of Rochester.
4. Allen J.F., Kautz H. A model of naïve temporal reasoning. Moore R., Hobbs J. Contributions to Artificial Intelligence, Vol. 1. 1983;Ablex, Norwood, NJ.
5. Allen J.F., Koomen J. Planning using a temporal world model. Proc. IJCAI-83, Karlsruhe, Germany, Vol. 8. 1983;711-714 Morgan Kaufmann, San Mateo, CA.
6. Anellis I., Houser N. Nineteenth century roots of algebraic logic and universal algebra. Andréka H., Monk J.D., Németi I. Algebraic Logic, Colloq. Math. Soc. J. Bolyai, Vol. 54. 1991;1-36 North-Holland, Amsterdam.
7. Comer S. A remark on chromatic polygroups. Congr. Numer. 1983;85-95.
8. Dean T., McDermott D. Temporal database management. Artificial Intelligence. 32:(1):1987;1-55.
9. Dechter R., Meiri I., Pearl J. Temporal constraint networks. Artificial Intelligence. 49:1991;61-95.
10. Hirsch R., Hodkinson I. Axiomatising various classes of relation and cylindric algebras. Proceedings of Workshop on Logic, Language, Information and Computation. Recife 1995, Vol. 5. 1997;209-229 Interest Group in Propositional and Predicate Logics, OUP.
11. Hirsch R., Hodkinson I. Step by step - Building representations in algebraic logic. J. Symbolic Logic. 62:(1):1997;225-279.
12. Hirsch R. Expressive power and complexity in algebraic logic. J. Logic Comput. 7:(3):1997;309-351.
13. R. Hirsch, A relation algebra with undecidable network satisfaction problem, in preparation.
14. Jónsson B., Tarski A. Boolean algebras with operators II. Amer. J. Math. 74:1952;127-162.
15. Kautz H., Ladkin P. Integrating metric and qualitative temporal reasoning. Proc. AAAI-91, Anaheim, CA. 1991;241-246.
16. Kautz H., Vilain M. Constraint propagation algorithms for temporal reasoning. Proc. AAAI-86, Philadelphia, PA. 1986;377-382 MIT Press, Cambridge, MA.
17. Ladkin P., Maddux R. On binary constraint problems. J. ACM. 41:1994;435-469.
18. Ladkin P., Reinefeld A. A symbolic approach to interval constraint problems. Artificial Intelligence and Symbolic Mathematical Computing. 737:1993;65-84.
19. Lyndon R. The representation of relational algebras. Ann. of Math. 51:(3):1950;707-729.
20. Lyndon R. The representation of relation algebras, II. Ann. of Math. 63:(2):1956;294-307.
21. Maddux R. Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections. Andréka H., Monk J.D., Németi I. Algebraic Logic, Colloq. Math. Soc. J. Bolyai, Vol. 54. 1991;361-392 North-Holland, Amsterdam.
22. Maddux R. The origin of relation algebras in the development and axiomatization of the calculus of relations. Studia Logica. 3/4:1991.
23. Pelavin R. A formal approach to planning with concurrent actions and external events, Ph.D. Thesis. 1988;University of Rochester.
24. Villain M., Kautz H. Constraint propagation algorithms for temporal reasoning. Proc. AAAI-86, Philadelphia, PA. 1986;377-382 MIT Press, Cambridge, MA.
25. Villain M., Kautz H., van Beek P. Constraint propagation algorithms for temporal reasoning - A revised report. Readings in Qualitative Reasoning about Physical Systems. 1989;373-381.