Nadjet Kamel
IdRefMots clés
FR |
EN
Possibilités, Théorie des
Incertitude
Satisfiabilité propositionnelle
Symétries
Itemsets
Motifs fréquents
Motifs séquentiels
Exploration de données
Contraintes (intelligence artificielle)
Logiques de l'incertain
Logique de préférences
QCL
Logique possibiliste
IDS
Corrélation d'alertes
Systèmes homme-machine
Interfaces utilisateur (informatique)
Logique temporelle
Logiciels -- Vérification
Services web