Le moteur de recherche
des thèses françaises
Andreas Herzig
IdRefMots clés
FR |
EN
Modalité (logique)
Logique épistémique
Intelligence artificielle
Représentation des connaissances
Intelligence artificielle répartie
Logique
Logique modale
Logique épistémique dynamique
Raisonnement
Traitement automatique des langues
Planification épistémique
Logique épistémique dynamique probabiliste
Vérification de modèles symbolique
Diagrammes de Décision Valués
Compilation (informatique)
Vérification de modèles (informatique)
Ontologies (informatique)
Théorèmes -- Démonstration automatique
Modal logic
Actes de langage