François Schwarzentruber
Maître de Conférence – IRISA
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
Mots-clés :
- logique modale
- logique épistémique
Maître de Conférence – IRISA
RCR – Représentation des connaissances et modélisation des raisonnements