Jean-François Condotta
IdRefMots clés
FR |
EN
Contraintes (intelligence artificielle)
Représentation des connaissances
Raisonnement qualitatif
Raisonnement spatial et temporel
Contraintes qualitatives
Problème de satisfiabilité
Problème de l'étiquetage minimal
Problème de redondance
Logique spatio-temporelle
Logique spatiale
Logique temporelle
Raisonnement spatio-temporel
Intelligence artificielle
Problème CSP
Problème SAT
Transformation
Classes traitables
Relaxation
Substituabilité
Fusion de croyances