Philippe Dague
Professeur – LRI
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
Mots-clés :
- Diagnostic
- Diagnosticabilité
- systèmes à événements discrets
- raisonnement qualitatif
- analyse des réseaux métaboliques