• Funding : Autre
  • PhD defended on :
  • Dec 9, 2022 • Salle des thèses

Thesis in co-supervision with the University of Tunis.

This thesis deals with the field of data mining and, more precisely, the extraction of knowledge from data by enumerating interesting patterns. This research domain was introduced in the 1990s and became a core part of data mining and machine learning.

High Utility Pattern Mining (HUIM, for short) is a well-known problem in pattern mining that extends the classical problem of mining frequent itemsets. In fact, the utility can be evaluated in terms of profit, cost, or any other user preference. The objective of HUIM is to find itemsets with a utility greater than a threshold.

Declarative approaches have recently been proposed for various data mining tasks such as mining frequent itemsets, association rules, sequences, or graphs. These declarative approaches have the advantage of easily incorporating new constraints for the search for particular patterns.

The thesis’s first goal is to propose a declarative framework for mining high utility itemsets from transaction databases using symbolic artificial intelligence. Our method is based on the propositional satisfiability problem. Second, in order to improve scalability, we intend to investigate how decomposition and parallelism can solve the common problem of symbolic techniques dealing with large databases while producing interesting results. The third contribution is to propose a propositional satisfiability-based framework for dealing with various condensed representations of high utility patterns as a solution to reduce the mining algorithm’s output. Finally, the final objective of this thesis is to highlight the performances through a comparison with a set of approaches in the literature on real and synthetic data.

Thesis committee


  • Thi-Bich-Hanh DAO, Université d’Orléans
  • Bruno CRÉMILLEUX, Université de Caen Normandie


  • Nahla BEN AMOR, Université de Tunis
  • Belaid BENHAMOU, Université Aix-Marseille
  • Engelbert MEPHU NGUIFO, Université Blaise Pascal Clermont-Ferrand


  • Philippe Fournier-Viger, Université de Shenzhen
  • Lakhdar SAIS, Université d’Artois


  • Boutheina BEN YAGHLANE, Université de Tunis
  • Said JABBOUR, Université d’Artois
  • Badran RADDAOUI, Télécom SudParis - Institut Polytechnique de Paris