Frédéric Maris
Mots clés
FR |
EN
Intelligence artificielle
Représentation des connaissances
Logique épistémique
Planification
Représentation des connaissances et raisonnement
Intention
Logique épistémique dynamique
Jeux à information incomplète
Codages SAT
Relations d'autorisation
Problèmes temporellement expressifs
Graphe de planification
Planification stratégique
Logique temporelle
Systèmes de maintien de la cohérence
Planification épistémique
Connaissance commune
Gestion des connaissances
Épistémologie
Intelligence artificielle répartie