Partenaires
Accueil du site > Thèses et HDR > Thèses en cours > Intégration de paradigmes de contraintes
Intégration de paradigmes de contraintes
Titre : Intégration de paradigmes de contraintes.
Doctorant : Nicolas Paris.
Directeur : Christophe Lecoutre.
Co-encadrants : Olivier Roussel, Sébastien Tabary.
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
- 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
- Logiques qualitatives pour la gestion des préférences
- 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