–
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
IMG – Incertitude, Modèles Graphiques, Réseaux Bayésiens
APP – Apprentissage
SMA – Systèmes multi-agents, décision collective
Mots-clés :
- Méthodes formelles
- Vérification et validation
- Systèmes distribués
- Observabilité