Tiago de Lima
IdRefMots clés
FR |
EN
Logique épistémique
Intelligence artificielle
Logique épistémique dynamique probabiliste
Vérification de modèles symbolique
Diagrammes de Décision Valués
Représentation des connaissances
Compilation (informatique)
Vérification de modèles (informatique)
Planification cognitive
Communication multimodale
SAT solver
QBF solver
Raisonnement sur actions et plans
Raisonnement sur la connaissance
Logique épistémique dynamique
Calcul des situations
Problème du décor
Intelligence Artificielle
Raisonnement automatique
Logiques Modales