The focus of this paper is towards development of a logical framework for mining spatio-temporal sequential patterns. The spatial representation language RCC-8, of- ten referred to as Region Connection Calculus and its spatio-temporal extension, ST0, a fragment of Proposi- tional Spatio-temporal Logic is used as the knowledge rep- resentation formalism. Standard abduction is used for min- ing sequential patterns in spatio-temporal data. Abductive reasoning may yield more than one possible answer and is accompanied by some preference criteria expressed using heuristics. Here, the abduction technique is circumscription which implements the heuristic that changes should only oc- cur when forced to. Various additional heuristics to drive the selection of preferred explanations are discussed.