PhD theses and habilitations
-
Constraint-based Pattern Extraction
- Ikram Nekkache PROFAS B+
-
Formal models for explainable and robust AI
- Louenas Bounia ANR
-
Knowledge Compilation for explainable and robust AI
- Steve Bellart ANR
-
Parameterized and fine-grained knowledge compilation
- Alexis de Colnet ANR
-
Weighted Belief Base Merging
- Chouaib Fellah ANR
-
Hybridization of clauses learning techniques in constraint programming
- Gaël Glorian 11-12-2019 Artois
-
Informatique ubiquitaire : techniques de curage d’informations perverties
- Yacine Izza 07-12-2018 Artois, Région HdF
-
Practical resolution of the coherence of formulas in modal logic
- Valentin Montmirail 17-09-2018 Artois
-
Constraints-based Data Mining
- Abdelhamid Boudane 13-09-2018
-
Reasoning from ontologies
- Abdelmoutia Telli 13-05-2018 Other
-
Parallel SAT solving
- Nicolas Szczepanski 12-12-2017 Artois, Région HdF
-
Argumentation reasoning tools for online debate platform
- Jérôme Delobelle 12-12-2017 ANR
-
Interval-based possibility theory: Conditioning and probability/possibility transformations
- Amélie Levray 08-12-2017 Artois
-
Qualitative DL-Lite logics
- Khaoula Boutouhami 03-12-2017 Other
-
Knowledge compilation for model counting
- Samuel Thomas 14-12-2016 Artois, Région HdF
-
Changement de croyances et logiques modales
- Thomas Caridroit 13-12-2016 CRIL
-
A Stochastic Constraint-Based Approach to General Game Playing
- Éric Piette 09-12-2016 Artois
-
Extensions of Tractable Classes for Propositional Satisfiability
- Al-Saedi Mohammad Saleh Balasim 14-11-2016
-
Parallélisation de systèmes de contraintes complexes
- Nebras Gharbi 04-12-2015 OSEO
-
Dynamique des Systèmes d’Argumentation
- Jean-Guy Mailly 30-09-2015 Artois
-
On the qualitative decision in a possibility theory framework
- Ismahane Sid-Amar 20-09-2015
-
Compilation de préférences - application à la configuration de produits
- Nicolas Schmidt 17-09-2015 ANR
-
Multi-Objective Boolean Optimization: complexity with compiled constraints and SAT-based resolution
- Emmanuel Lonca 26-06-2015 Artois
-
Inconsistency and uncertainty handling in lightweight description logics
- Zied Bouraoui 05-06-2015
-
Parallélisation de solveurs de contraintes
- Benoît Hoessen 10-12-2014 OSEO
-
Intégration de techniques CSP pour la résolution du problème WCSP
- Nicolas Paris 06-11-2014 OSEO
-
Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications
- Jerry Lonlac Konlac 03-10-2014
-
La substituabilité et la cohérence de tuples pour les réseaux de contraintes pondérées
- Djamel-Eddine Dehani 13-02-2014 Artois, Région HdF
-
Contributions aux approches logiques de l'argumentation en intelligence artificielle
- Badran Raddaoui 21-11-2013
-
Analyse et regroupement automatique de textes courts à des fins statistiques
- Benoît Trouvilliez 13-05-2013 CIFRE
-
Développement de logiques non-classiques pour la gestion des préférences et de l'incertitude
- Abdelhamid Boudjelida 07-04-2013
-
Gestion de l'incertitude et codage des politiques de sécurités dans les systèmes de contrôle d'accès
- Khalid Bouriche 16-02-2013
-
Possibilistic networks : from learning to compilation and propagation
- Raouia Ayachi 18-01-2013
-
Causal reasoning modeling under a belief function framework
- Imen Boukhris 17-01-2013
-
Extraction de motifs de données complexes : cas de la classification des protéines
- Rabie Saidie 03-10-2012
-
Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes
- Jean-Marie Lagniez 07-12-2011 Artois
-
Méthodes Permettant la Prédominance de Connaissances Subsumées
- Sébastien Ramon 02-12-2011
-
Réseaux de neurones et treillis de galois
- Norbert Tsopze 28-12-2010
-
Fusion de réseaux de contraintes qualitatives
- Nicolas Schwind 10-12-2010
-
Étude de systèmes de contraintes contraintes hétérogènes pour la gestion du temps
- Dominique Dalmeida 03-12-2010
-
Classifieurs possibilistes basés sur les arbres de décision et les systèmes immunitaires artificiels
- Ilyes Jenhani 01-02-2010
-
Un Modèle pour la Prise de Décision Multi-agent sous Incertitude
- Ramzi Benlarbi 04-12-2009
-
Fusion de réseaux causaux possibilistes
- Faiza Titouna 20-01-2009
-
Étude du raisonnement temporel basé sur la résolution de contraintes
- Mahmoud Saade 15-12-2008
-
Intégration des ressources en planification temporelle optimale
- Zied Loukil 12-12-2008
-
De la Satisfiabilité Propositionnelle aux Formules Booléennes Quantifiées
- Saïd Jabbour 05-12-2008
-
Modèles graphiques et approches comportementales pour la détection d'intrusions
- Karim Tabia 28-11-2008
-
Fusion d'informations incertaines sans commensurabilité des échelles de référence
- Julien Rossit 10-07-2008
-
Réseaux possibilistes hybrides : Représentation des interventions et algorithmes
- Salma Smaoui 14-12-2007
-
Contributions à la résolution générique des problèmes de satisfaction de contraintes
- Julien Vion 30-11-2007
-
Utilisation de techniques polynomiales pour la résolution pratique
- Olivier Fourdrinoy 27-11-2007
-
Exploiter les conflits pour réduire l'effort de recherche en satisfaction de contraintes
- Sébastien Tabary 22-11-2007
-
Techniques algorithmiques pour l'extraction de formules minimales inconsistantes
- Cédric Piette 21-11-2007
-
Contribution à l’étude des opérateurs de fusion : manipulabilité et fusion disjonctive
- Patricia Everaere 07-12-2006
-
Contribution à l'étude des inférences argumentatives : spécialisations et généralisations du cadre de Dung
- Caroline Devred 01-12-2006
-
Algorithmique des Treillis de Concepts : Application à la Fouille de Données
- Huaiguo Fu 14-02-2005
-
Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT
- Richard Ostrowski 15-12-2004
-
Gestion des Incohérences dans les Systèmes de Contrôle d’Accès
- Rania El Baida 13-12-2004
-
Contributions aux techniques de fusion de connaissances en intelligence artificielle
- Ahcène Sofiane 16-06-2003
-
Study of abstraction mechanisms and hierarchies construction
- Sylvain Merchez 15-12-2000
-
Defeasible Description Logics
- Ivan Varzinczak 26-11-2019
-
Incomparabilité et incommensurabilité dans le raisonnement et la dynamique des croyances
- Sylvain Lagrue 12-12-2011
-
Contraintes qualitatives pour le raisonnement sur le temps et l'espace
- Jean-François Condotta 08-12-2011
-
Sat4j, un moteur libre de raisonnement en logique propositionnelle
- Daniel Le Berre 03-12-2010
-
Résolution de problèmes autour de SAT
- Gilles Audemard 29-11-2010
-
Raisonnement & Incohérence
- Sébastien Konieczny 03-03-2010
-
SAT et au-delà de SAT : Modèles et Algorithmes
- Bertrand Mazure 29-01-2010
-
Working with preferences: staying simple to do more
- Souhila Kaci 03-04-2009
-
Tenter la simplicité en satisfaction de contraintes
- Christophe Lecoutre 22-11-2007
-
Extraction des connaissances basée sur les treillis de Galois: Méthodes et applications
- Engelbert Mephu Nguifo 10-12-2001
-
De la résolution du problème SAT à la résolution de problèmes autour de SAT
- Lakhdar Saïs 01-12-2000
-
control of progressive and anytime reasoning autonomous agents in a dynamic and uncertain environment
- Abdel-Illah Mouaddib 27-11-2000