Partenaires
Accueil du site > Thèses et HDR > Thèses en cours > Logiques qualitatives pour la gestion des préférences
Logiques qualitatives pour la gestion des préférences
Titre : Logiques qualitatives pour la gestion des préférences.
Doctorante : Lydia Bouzar.
Directeur : Salem Benferhat.
Dans la même rubrique :
- Développement de logiques non-classiques pour la gestion des préférences et de l’incertitude.
- Optimisation distribuée pour les problèmes de contraintes pondérées
- MSR PhD Scholarship on Parallel SAT Solving
- Imposer des contraintes moins restrictives dans un CSP
- Résolution parallèle du problème SAT
- Optimisation booléenne multi-objectif
- Intégration de paradigmes de contraintes
- Contributions aux techniques de représentation de la connaissance et du raisonnement
- Compilation de préférences - application à la configuration de produits
- Analyse et regroupement automatique de textes courts à des fins statistiques
- Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications
- Fusion des logiques de description incertaines
- Changement de croyances et logiques modales
- Parallélisation de systèmes de contraintes complexes
- Dynamique des Systèmes d’Argumentation
- Autour de la décision possibiliste qualitative
- Compilation de connaissances : des formules logiques aux réseaux bayésiens
- Contributions aux problèmes SAT