Sequence mining is an active research field of data mining because algorithms designed in that domain lead to various valuable
applications. To increase efficiency of basic sequence mining algorithms, generally based on a levelwise approach, more recent
algorithms try to introduce some constraints to prune the search space during the discovery process. Nevertheless, existing
algorithms are actually limited to extract frequent sequences made up of items of a database. In this paper, we generalize
the notion of sequence to define what we call logical sequence where each element of a sequence may contain some logical variables.
Then we show how we can extend constrained sequence mining to constrained frequent logical sequence mining1.
Keywords Data Mining - Sequence Mining - First Order Logic
Research partially funded by the European contract cInQ IST 2000-26469-FET.
Paper presented with the financial help of ILPnet2.
This paper is an extended english version of [11].