.  Actions composées  Algorithmes  Algorithmes mémétiques  Analyse combinatoire  Apprentissage  Apprentissage automatique  Apprentissage de clauses  Architecture de réseaux de neurones  CDCL  Calcul des propositions  Caractérisation  Caractérisation logique de données  Causalité  Classes polynomiales  Classes traitables  Classification  Clustering  Clustering hiérarchique  Coalition  Code source  Coloriage de graphes  Communication  Complexité de calcul  Contraintes  Crowdsourcing  Csp  Ddcsp  Decomposition  Diviser pour régner  Données biologiques  Données séquentielles  Décomposition  Equilibre de Nash  Essais de résilience  Exploration de données  Extraction de règles  Extraction et localisation de fonctionalités  Fonctions booléennes  Fouille de données  Fuite de données  Game Description Langage  General Game Playing  Géoparsing  Hybridation  Informatique  Informatique et applications  Intelligence Artificielle  Intelligence artificielle  Interfaces de programmation d'applications  Jeu  Jeux de stratégie  Jeux en série  Lauses bi-assertives  Logiciels -- Développement  Logique Non-Monotone  Logique des défauts  Logique propositionnelle  Logiques des défauts  Logiques non monotones  Logiques préférentielles  MPPA  Modèle de Marvin Minsky  Modèles mathématiques  Modélisation des données  Métaheuristiques  Météorologie maritime  Optimisation combinatoire  Parallélisation  Parallélisme  Partitionnement de graphes  Portfolio  Prise de Décisions  Problème CSP  Problème SAT  Problème de coloration de graphes  Problème de satisfaction de contraintes  Problème d’affectation de fréquences  Problèmes de satisfaction de contraintes  Processeurs à hautes performances  Procédure de Davis et Putnam  Programmation par contraintes  Programme compréhension  Propriétés strucurelles  Protection de l'information  Radiofréquences -- Attribution  Raisonnement Incertain  Raisonnement qualitatif  Relaxation  Représentation des Connaissances  Représentation des connaissances  Résilience  Règles d'association  Réseau de neurones  Réseaux neuronaux  Réseaux sociaux  Résolution parallèle  SAT  Satisfiabilité  Satisfiabilité propositionnelle  Satisfiabilité propositionnelle  Solveurs  Solveurs CDCL  Solveurs SAT  Substituabilité  Symétrie locales  Symétries syntaxiques  Symétries sémantiques  Systèmes Embarqués  Systèmes d'aide à la décision  Systèmes embarqués  Systèmes experts  Thèses et écrits académiques  Théorie des jeux  Transformation  Treillis  Treillis de Galois  Treillis, Théorie des  Uav  Valeur de Shapley  X-logiques  

Lakhdar Saïs a rédigé les 2 thèses suivantes :


Lakhdar Saïs a dirigé les 9 thèses suivantes :

Informatique
Soutenue le 13-09-2018
Thèse soutenue


Lakhdar Saïs a été président de jury des 3 thèses suivantes :


Lakhdar Saïs a été rapporteur des 11 thèses suivantes :

Informatique
Soutenue le 15-05-2019
Thèse soutenue

Informatique et applications
Soutenue en 2014
Thèse soutenue

Informatique et applications
Soutenue en 2014
Thèse soutenue

Lakhdar Saïs a été membre de jury des 2 thèses suivantes :