Abduction  Abduction  Acquisition de contraintes  Algorithmes  Alignement d'ontologies  Applications IA  Apprentissage automatique  Apprentissage collaboratif  Argumentation  Assistants de preuve  Calcul des propositions  Clustering hiérarchique  Code source  Cohérence  Cohérence  Construction de preuves  Contraintes  Croyance  Dynamique  Débat  Exploration de données  Extraction des règles d'association  Extraction et localisation de fonctionalités  Fonctions booléennes  Fouille de données  Fusion de croyances  Incertitude  Informatique -- Mathématiques  Informatique  Intelligence artificielle  Intelligence artificielle répartie  Logiciels -- Développement  Logiques des défauts  Logiques non monotones  Logiques préférentielles  Machine Learning  Mesures de qualité  Ontologies  Ontologies biomédicales  Possibilités, Théorie des  Preuve mathématique déductive  Problème SAT  Problèmes de satisfaction de contraintes  Programmation dynamique  Programmation par contraintes  Programme compréhension  Propagation des contraintes  Préférences  Préférences Comparatives  Préférences des experts  Raisonnement spatial et temporel qualitatif  Relation de dominance  Ressources de connaissances  Satisfaction des contraintes  Sciences de la santé  Solveurs CDCL  Structures  Symétrie locales  Symétries syntaxiques  Symétries sémantiques  Système de recommandation  Systèmes d'argumentation  Systèmes de recommandation  Sémantiques de Préférences  Traitement automatique du langage naturel  Travail collaboratif  Web sémantique  X-logiques  Évaluation de preuves  

Souhila Kaci a rédigé la thèse suivante :


Souhila Kaci a dirigé les 5 thèses suivantes :

Informatique
Soutenue le 10-12-2010
Thèse soutenue

Souhila Kaci a été président de jury des 2 thèses suivantes :


Souhila Kaci a été membre de jury des 3 thèses suivantes :