–
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
Mots-clés :
- Logiques non-monotones
- Algorithmes efficaces
- Applications de l’IA
- Réseaux de gênes
- Systèmes dynamiques finiss