Approches déclaratives pour l'énumération de motifs intéressants (Tutoriel)
Résumé
Ce cours propose de dresser un tour d’horizon des probl`emes de d ́ecouvertes de motifs int ́eressants dans des masses de donn ́ees. Apr`es une br ́eve in- troduction sur les applications sous-jacentes, nous pr ́esenterons leurs prin- cipales caract ́eristiques puis, nous montrerons comment ils peuvent tirer profit de trois champs disciplinaires de l’informatique : l’algorithmique d’ ́enum ́eration, la programmation par contraintes/SAT et les bases de donn ́ees.