A LOGICAL FRAMEWORK FOR SPATIO TEMPORAL INDEXING OF IMAGE SEQUENCES