A symbolic approach to interval constraint problems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 737 LNCS, Issue , 1993, Pages 65-84

  Ladkin, Peter ^a,c   Reinefeld, Alexander ^b  

^a UNIVERSITY OF BERN   (Switzerland)

^b UNIVERSITY OF PADERBORN   (Germany)

^c UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

BRANCHING FACTORS; COMPOSITIONS OF RELATIONS; CONSTRAINT PROBLEMS; INTERVAL CONSTRAINT; NON-TRIVIAL; PATH CONSISTENCY; RANDOM PROBLEM; RELATION ALGEBRAS;

ARTIFICIAL INTELLIGENCE;

EID: 2442453166     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57322-4_4     Document Type: Conference Paper

References (25)

1. Allen, J.F., Maintaining Knowledge about Temporal Intervals, Comm. ACM 26 (11), November 1983, 832-843.
2. Burris, S., and Sankappanavar, H.P., A Course in Universal Algebra, Springer Verlag, 1981.
3. Cheeseman, P., Kanefsky, R., and Taylor, W.M., Where the Really Hard Problems Are, Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), pp 331-337, Morgan Kaufmann 1991.
4. Dechter, R., Meiri, I., and Pearl, J., Temporal Constraint Networks. Artificial Intelligence 49, 1991, 61-95.
5. Freuder, E.C., Synthesizing Constraint Expressions, Communications of the ACM 21 (11), Nov 1978, 958-966.
6. Güsgen, H.-W., CONSAT: A System for Constraint Satisfaction, Morgan Kaufmann/Pitman 1989.
7. Jónsson, B. and Tarski, A., Boolean Algebras with Operators II, American J. Mathematics 74, 1952, 127-162.
8. Kautz, H.A. and Ladkin, P.B., Integrating Metric and Qualitative Temporal Reasoning, Proceedings of AAAI-91, the 9th National Conference on AI, AAAI Press 1991.
9. Koomen, J.A.G.M., The TIMELOGIC Temporal Reasoning System, Technical Report 231, University of Rochester Dept. of Computer Science, 1988.
10. Koomen, J.A.G.M., Localizing Temporal Constraint Propagation, in Proceedings of KR89. the First International Conference on Principles of Knowledge Representation and Reasoning, pp 198-202, Morgan Kaufmann 1989.
11. Ladkin, P.B., and Maddux, R.D., On Binary Constraint Networks, Kestrel Institute Technical Report KES.U.88.8. An extensively revised 1992 version is On Binary Constraint Problems, submitted for publication.
12. Ladkin, P.B., and Reinefeld, A., Effective Solution of Qualitative Interval Constraint Problems, Artificial Intelligence, to appear.
13. Mackworth, A.K., Consistency in Networks of Relations, Artificial Intelligence 8, 1977, 99-118.
14. Mackworth, A.K., Constraint Satisfaction, in the Encyclopedia of Artificial Intelligence, ed. S. Shapiro, Wiley Interscience 1987.
15. Mackworth, A.K., and Freuder, E.C., The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems, Artificial Intelligence 25, 65-74, 1985.
16. Mohr, R., and Henderson, T.C., Arc and Path Consistency Revisited, Artificial Intelligence 28, 1986, 225-233.
17. Nökel, K., Temporally Distributed Symptoms in Technical Diagnosis, Lecture Notes in Artificial Intelligence 517, Springer Verlag 1991.
18. Reinefeld, A., and Ladkin, P.B., Fast Solution of Large Interval Constraint Networks, in Procs. 9th Canadian Conf. on Art. Intell., AI’92, Vancouver (May 1992), pp156-162.
19. Susswein, S., Parallel Path Consistency, MS Thesis, University of Utah, Department of Computer Science, 1991.
20. Susswein, S., Henderson, T.C., Zachary, J., Hinker, P., Hansen, C., and Marsden, G., Parallel Path Consistency, University of Utah, Technical Report UUCS-91-010, July 30, 1991, revised version to appear, International Journal of Parallel Programming.
21. van Beek, P.G., and Cohen, R., Approximation Algorithms for Temporal Reasoning, in Proceedings of IJCAI89, the 11th Joint Conference on Artifical Intelligence, 1291-1296, Morgan Kaufmann 1989; full version in Computational Intelligence, 1991.
22. van Beek, P.G., Reasoning About Qualitative Temporal Information, in Proceedings of AAAI90, the 8th National Conference on Artificial Intelligence, pp 728-734, Morgan Kaufmann 1990.
23. van Beek, P.G., Reasoning About Qualitative Temporal Information, Artificial Intelligence, to appear.
24. van Benthem, J.F.A.K., The Logic of Time, 2nd Edition, Kluwer 1991.
25. Vilain, M., Kautz, H., and van Beek, P.G., Constraint Propagation Algorithms for Temporal Reasoning, in Weld and de Kleer, eds., Readings in Qualititative Reasoning About Physical Systems, Morgan Kaufmann 1989.