Approches déclaratives pour l'énumération de motifs intéressants
Résumé
Ce cours propose de dresser un tour d'horizon des probl èmes de d écouvertes de motifs intéeressants dans des masses de donn ées. Apr es une br ève introduction sur les applications sous-jacentes, nous pr ésenterons leurs principales caract éristiques puis, nous montrerons comment ils peuvent tirer pro t de trois champs disciplinaires de l'informatique : l'algorithmique d' énum ération, la programmation par contraintes/SAT et les bases de donn ées.