Sonja Smets
IdRefMots clés
FR |
EN
Logique épistémique
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
Planification épistémique
Connaissance commune
Gestion des connaissances
Épistémologie
Intelligence artificielle répartie