Habiba Drias
IdRefMots clés
FR |
EN
Détection d'intrusions
Satisfiabilité propositionnelle
Symétries
Itemsets
Motifs fréquents
Motifs séquentiels
Exploration de données
Contraintes (intelligence artificielle)
Raisonnement en présence d'incohérence
Compilation
Logiques de description
Logique possibiliste
Inférence lexicographique
Inférence linéaire
Complexité
Prudence
Propriétés logiques
Compilation (informatique)
Réseaux d'ordinateurs -- Mesures de sûreté
Complexité de calcul (informatique)