First-Order Temporal Pattern Mining with Regular Expression Constraints Sandra de Amo and Daniel A. Furtado   View Paper (PDF)   Return to Mineração de Dados/Data Mining Abstract Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting sequential patterns, such as the multi-sequential patterns, whose specification needs a more expressive formalism, the first-order temporal logic. In this paper, we extend a well-known user-controlled tool, based on regular expressions constraints, to the multi-sequential pattern context. This specification tool enables the incorporation of user focus into the multi-sequential patterns mining process. We present MSP-Miner, an Aprioribased algorithm to discover all frequent multi-sequential patterns satisfying a user-specified regular expression constraint. ©2006 Association for Computing Machinery