Improving search using indexing: A study with temporal CSPs

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1999, Pages 436-441

  Mamoulis, Nikos ^a   Papadias, Dimitris ^a  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

DIRECTED SEARCHES; FORWARD CHECKING; SEARCH PERFORMANCE; TEMPORAL DATABASE;

ARTIFICIAL INTELLIGENCE; CONSTRAINT THEORY;

INDEXING (OF INFORMATION);

EID: 0242329134     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. James F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26(12): 832-843, 1983.
2. Fahiem Bacchus, Paul van Run. Dynamic variable reordering in CSPs. In Proceedings of CP-95, 1995.
3. Thomas Dean. Using Temporal Hierarchies to Efficiently Maintain Large Temporal Databases. Journal of ACM 36(4): 687-718, 1989. (Pubitemid 20613327)
4. Rina Dechter, Itay Meiri. Experimental Evaluation of Preprocessing Algorithms for Constraint Satisfaction Problems. Artificial Intelligence 68(2): 211-241, 1994.
5. Rina Dechtcr, Judea Pearl. Network-Based Heuristics for Constraint-Satisfaction Problems. Artificial Intelligence 34(1): 1-38, 1987.
6. Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh. The Constrainedness of Search. In Proceedings of AAAI-96, 1996.
7. Antonin Guttman. R-trees: A Dynamic Index Structure for Spatial Searching. In Proceedings of ACM SIGMOD, 1984.
8. Robert M. Haralick, Gordon L. Elliott. Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence 14(3): 263-313, 1980.
9. D. Papadias, N. Mamoulis and V. Delis. Querying by Spatial Structure. In Proceedings of VLDB, 1998.
10. D. Papadias, P. Kalnis, N. Mamoulis. Hierarchical Constraint Satisfaction in Spatial Databases. In Proceedings of AAAI-99, 1999.
11. F. Preparata, M. Shamos. Computational Geometry. Springer, 1985.
12. Patrick Prosser. Hybrid Algorithms for the Constraint Satisfaction Problem. Computational Intelligence, 9(3): 268-299, 1993.
13. Peter van Beck. Reasoning about qualitative temporal information. Artificial Intelligence 58: 297-324, 1992.