Recherche
Quelques sujets récents
- Représentation des préférences
- Argumentation
- QBF
- ...
Activités liées à la recherche
- Relecteur d'articles pour des conférences internationales :
- AAAI 2008, ECAI 2008
- IJCAI 2007
- SAT 2006, KR 2006
- IJCAI 2005, SAT 2005, MICAI 2005
- ...
- Membre des comités de programme de :
- Co-encadrement de thèses :
- Participation à l'ANR Preference Handling on Combinatorial Domains
- Participation à des projets internationaux :
- un projet de collaboration France/Royaume Uni avec University College,
Londres (Anthony Hunter) sur la définition des mesures d'information
et de conflit (2004/2005)
- un projet de collaboration Galileo France/Italie avec l'Università
La Sapienza de Rome (Paolo Liberatore et Marco Schaerf) (2002)
- Participation à des Actions Spécifiques du département STIC du CNRS
- 118 : Représentation compacte et élicitation de connaissances dans
des domaines combinatoires (action 2003)
- 188 : Résolution interactive et compilation de problèmes combinatoires
(action 2003)
- 88 : Algorithmique et problématique expérimentale pour l'évaluation de
formules booléennes quantifiées (action 2002)
