Alexandre Niveau
IdRefMots clés
FR |
EN
Représentation des connaissances
Compilation de connaissances
Compilation (informatique)
Planification -- Informatique
Complexité de calcul (informatique)
Intelligence artificielle
Planification
Bdd
Automates
Model-checking
Csp
Systèmes autonomes en énergie
Raisonnement qualitatif
Raisonnement spatio-temporel
Raisonnement multi-échelle
Contraintes et satisfaisabilité,
Complexité du raisonnement
Combinaison de formalismes
Raisonnement
Contraintes (intelligence artificielle)