Le moteur de recherche
des thèses françaises
Francesco Belardinelli
IdRefMots clés
FR |
EN
Informations incomplètes
Informations incohérentes
Logiques modales
Logique épistémique dynamique
Modèle de voisinage
Logique de contingence
Co-algèbre
Bisimulation
Logique informatique
Modalité (logique)
Algèbres des relations
Contingence
Vérification formelle
Logique épistémique dynamique probabiliste
Vérification de modèles symbolique
Diagrammes de Décision Valués
Intelligence artificielle
Représentation des connaissances
Logique épistémique
Compilation (informatique)