Samir Ouchani
Maître de Conférence – LINEACT
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
IMG – Incertitude, Modèles Graphiques, Réseaux Bayésiens
PPC – Contraintes et SAT
APP – Apprentissage
PRH – Planification et Recherche Heuristique
SMA – Systèmes multi-agents, décision collective
Mots-clés :
- SAT
- Verification