Partenaires
Home page > Research > Old seminars > Olivier Roussel - Résultats de la compétition CSP 2008 et informations sur les compétitions SAT09 et PB09 (in French)
Olivier Roussel - Résultats de la compétition CSP 2008 et informations sur les compétitions SAT09 et PB09 (in French)
Suite à la demande insistante de quelques collègues, nous présenterons les résultats parfois surprenants de la compétition 2008 de solveurs CSP, Max-CSP et WCSP (présentation déjà effectuée à la conférence CP 2008). Nous évoquerons également les futures compétitions (SAT, PB et CSP) ainsi que l’outil "evaluation" utilisé durant ces compétitions. L’exposé ne sera pas technique et s’adressera à tout utilisateur potentiel de solveurs de contraintes, ainsi qu’aux auteurs et futurs auteurs de ces solveurs.
In the same section :
- Seminars (January to May 2007, in French)
- T. de Lima (CRIL, Univ. Artois) - Le problème du décor en logique modale (in French)
- Frédéric Koriche (LIRMM - Montpellier) - Apprentissage et raisonnement « online » (in French)
- Philippe Besnard (IRIT CNRS) - La formalisation de l’argumentation se réduirait à la théorie des graphes ? (in French)
- Monday, September 17th - Chattrakul Sombattheera (Mahasarakham University, Thailand)
- Elise Bonzon (IRIT) - Modélisation des interactions entre agents rationnels : les jeux booléens (in French)
- Ulrich Junker (ILOG) - Explications et Préférences pour l’Analyse des Règles de Metier (in French)
- Vincent Dubois - Espaces de versions et ensembles approximatifs : présentation des espaces de version approximatifs (in French)
- Didier Dubois (IRIT) - Incertitude en représentation des connaissances et raisonnement (in French)
- Salem Benferhat - Interventions et dynamique des croyances dans les réseaux causaux (in French)
- Mohand Ou Idir Khnemmoudj (LIPN - Paris 13) - Contributions à la résolution de CSP, Max-CSP et WCSP (in French)
- David Mercier (LGI2A - Bethune) - Fusion de décisions postales dans le cadre du modèle des croyances transférables (in Fench)
- Farid Nouioua (LIPN - Paris 13) - Quelle est la cause de l’accident ? : une approche non monotone à base de normes (in French)
- Denis Bouyssou (LAMSADE - Paris 9) - Doit-on croire le classement de Shanghai ? (in French)
- Sébastien Konieczny - Opérateurs d’Amélioration (in French)
- Sylvie Coste - Oublier l’incohérence pour restaurer la cohérence (in French)
- Henri Prade - Pensons bipolaire! (in French)
- Guillaume Aucher (Université du Luxembourg) - Une perspective interne sur le changement de croyances (in French)
- T. de Lima (CRIL, Univesité d’Artois) - A tableaux method for public announcement logic
- H. Prade (IRIT, CNRS) - Donner une forme logique à l’analogie (in French)