Sonja Smets
IdRefMots clés
FR |
EN
Logique épistémique
Logique modale
Logique epistemique
Calcul distribué
Traitement réparti
Topologie algébrique
Synthèse de protocoles épistemiques
Raisonnement topologique
Preuves
Logique informatique
Dynamique topologique
Systèmes experts (informatique)
.
Langages de programmation
Conditionnel (logique)
Logique épistémique dynamique
Ontologie alignements
L'évolution culturelle de la connaissance
Ontologies (informatique)
Représentation des connaissances