Philippe Chatalic
IdRefMots clés
FR
Intelligence artificielle
Calcul des propositions
Compilation (informatique)
Sciences appliquees
Informatique, automatique theorique, systemes
Ensemble flou
Incertitude
Demonstration automatique
Representation connaissances
Raisonnement
Inference
Base connaissance
Deduction
Theorie dempster-shafer
Artificial intelligence
Fuzzy set
Uncertainty
Automatic proving
Knowledge representation
Reasoning