Eric Grégoire
Professeur – CRIL, Universite d’Artois
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
PRH – Planification et Recherche Heuristique
SMA – Systèmes multi-agents, décision collective
Mots-clés :
- SAT
- modélisation du raisonnement
- représentation des connaissances
- CSP