–
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
IMG – Incertitude, Modèles Graphiques, Réseaux Bayésiens
SMA – Systèmes multi-agents, décision collective
Mots-clés :
- logique
- modélisation des raisonnements
- théorie de la preuve
- sémantique algébrique
- systèmes multi-agents
- logiques épistémiques dynamiques