Le moteur de recherche
des thèses françaises
Jean-François Condotta
IdRefMots clés
FR |
EN
Représentation des connaissances
Contraintes (intelligence artificielle)
Logique temporelle
Raisonnement non monotone
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
Raisonnement spatio-temporel
Répresentation des connaissances
Logiques temporelle et modale
Modalité (logique)
Intelligence artificielle
Problème CSP
Problème SAT
Transformation