Souhila Kaci
IdRefMots clés
FR |
EN
Apprentissage automatique
Intelligence artificielle
Contraintes (intelligence artificielle)
Argumentation
Calcul des propositions
Fusion de croyances
Raisonnement spatial et temporel qualitatif
Intelligence artificielle répartie
Preuve mathématique déductive
Systèmes d'argumentation
Apprentissage collaboratif
Débat
Construction de preuves
Évaluation de preuves
Travail collaboratif
Informatique -- Mathématiques
Assistants de preuve
Clustering hiérarchique
Programme compréhension
Extraction et localisation de fonctionalités