Fast algebraic methods for interval constraint problems

Annals of Mathematics and Artificial Intelligence

Volumn 19, Issue 3-4, 1997, Pages 383-411

  Ladkin, Peter B ^a   Reinefeld, Alexander ^b  

^a BIELEFELD UNIVERSITY   (Germany)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21744434820     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018968024833     Document Type: Article

References (11)

1. J.F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM 26(11) (November 1983) 832-843.
2. B. Bennett, Spatial reasoning with prepositional logics, in: Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR94) (Morgan Kaufmann, 1994) pp. 51-62.
3. S. Burris and H.P. Sankappanavar, A Course in Universal Algebra (Springer-Verlag, 1981).
4. P. Cheeseman, R. Kanefsky and W.M. Taylor, Where the really hard problems are, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia (1991), (Morgan Kaufmann) pp. 331-337.
5. A.G. Cohn, D.A. Randell and Z. Cui, Taxonomies of logically defined qualitative spatial relations, International Journal of Human-Computer Studies 43(5-6) (1995) 831-846. Available from http://agora.leeds.ac.uk/spacenet/publications.html.
6. R. Dechter, I. Meiri and J. Pearl, Temporal constraint networks, Artificial Intelligence 49 (May 1991) 61-95.
7. H.-W. Güsgen, CONSAT: A System for Constraint Satisfaction (Morgan Kaufmann/Pitman, 1989).
8. J.C. Hogge, TPLAN: A temporal interval-based planner with Novel extensions, Technical Report UIUCDCS-R-87-1367, Univ. of Illinois at Urbana-Champaign, Dept. of Computer Science (September 1987).
9. B. Jönsson and A. Tarski, Boolean algebras with operators II, American Journal of Mathematics 74 (1952) 127-162.
10. H.A. Kautz and P.B. Ladkin, Integrating metric and qualitative temporal reasoning, in: Proceedings of the 9th National Conference on AI (AAAI-91), Anaheim, CA (1991), (AAAI Press) pp. 241-246.
11. J.A.G.M. Koomen, The TIMELOGIC temporal reasoning system, Technical Report 231, University of Rochester, Dept. of Computer Science, Rochester, NY (1988).