Thèses & HDR
-
Analyse de données complexes par raisonnement qualitatif
- Abderrahmane Boukontar 2021 Artois
-
Application de la théorie de l’argumentation au raisonnement juridique
- Caren Al Anaissy 2021 ANR, Région HdF
-
Apprendre et raisonner à partir d’explications en langues naturelles
- Thomas Bailleux 2023 Artois, Région HdF
-
Compilation de connaissances pour l'IA explicable et robuste
- Steve Bellart 2020 ANR
-
Explication via les « weak cores »
- Marie Miceli 2019 CRIL
-
Fouilles de graphes et maximisation de l’Influence dans les réseaux sociaux
- Motaz Ben Hassine 2022 Autre
-
Fusion pondérée de bases de croyances
- Chouaib Fellah 2020 ANR
-
Fusion pratique et conditionnement hétérogène à partir d’informations incertaines
- Omar Et-Targuy 2022 ANR
-
Fusion pratique et conditionnement hétérogène à partir d’informations incertaines
- Arthur Marzinkowski 2022 Artois
-
Le rôle du vote dans les systèmes argumentatifs en ligne
- Juliete Halal Rossie 2023 ANR
-
Learning Interpretable Circuits
- Chi Tran Nguyen Duong 2022 CRIL
-
Mesures de confiance par confrontation des sources
- Quentin Elsaesser 2021 ANR
-
Modèles de contrôle d'accès dynamique explicables
- Ahmed Laouar 2022 ANR, Artois
-
Modèles formels pour l'IA explicable et robuste
- Louenas Bounia 2020 ANR
-
Modélisation conceptuelle des expressions idiomatiques
- Naïm Es sebbani 2023 Artois
-
SAT-based Approaches for Formal Verification with B method
- Daniel Crowley 2023 ANR
-
Using argumentation for fact checking
- Maxime Brouat 2023 CNRS, University of Arizona
-
Contributions aux Approches par Contraintes pour la Fouille de Données
- Amel Hidouri 09/12/2022 Autre
-
Modèles prédictifs & raisonnement avec les explications
- Ryma Boumazouza 08/12/2022 Artois, Région HdF
-
On Merging of Open-Domain Ontologies
- Truong Thanh Ma 06/12/2022 Artois
-
Hard Functions in Knowledge Compilation: from Lower Bounds to Applications
- Alexis de Colnet 26/09/2022 ANR
-
Modélisation logique de l'intentionnalité dans les jeux épistémiques
- Alix Goudyme 16/06/2022 Artois
-
Sur la notion de support monotone en argumentation abstraite
- Anis Gargouri 17/12/2021 Artois, Région HdF
-
Solveurs de contraintes autonomes
- Hugues Wattez 09/12/2021 Artois, Région HdF
-
Extraction de motifs sous contraintes
- Ikram Nekkache 05/12/2021 PROFAS B+
-
Raisonnement à partir de contraintes pseudo-booléennes et compilation
- Romain Wallon 14/12/2020 Artois
-
Hybridation de techniques d'apprentissage de clauses en programmation par contraintes
- Gaël Glorian 11/12/2019 Artois
-
Enumération des motifs intéressants dans les bases de données incertaines
- Imen Ouled Dlala 17/12/2018 Autre
-
Informatique ubiquitaire : techniques de curage d’informations perverties
- Yacine Izza 07/12/2018 Artois, Région HdF
-
Fouilles de graphes et application aux réseaux sociaux
- Nizar Mhadhbi 03/12/2018 Autre
-
Résolution pratique de la cohérence de formules en logique modale
- Valentin Montmirail 17/09/2018 Artois
-
Fouille de données par contraintes
- Abdelhamid Boudane 13/09/2018 Autre
-
Raisonnement sur les ontologies
- Abdelmoutia Telli 13/05/2018 Autre
-
SAT en Parallèle
- Nicolas Szczepanski 12/12/2017 Artois, Région HdF
-
Sémantique à base de Classement pour l’Argumentation Abstraite
- Jérôme Delobelle 12/12/2017 ANR
-
Les logiques DL-Lite quantitatives
- Khaoula Boutouhami 03/12/2017 Autre
-
Graphes et contraintes
- Mouny Samy Modeliar 22/03/2017
-
Compilation de connaissances pour le comptage de modèles
- Samuel Thomas 14/12/2016 Artois, Région HdF
-
Changement de croyances et logiques modales
- Thomas Caridroit 13/12/2016 CRIL
-
Une nouvelle approche au General Game Playing dirigée par les contraintes
- Éric Piette 09/12/2016 Artois
-
Extensions de classes traitables pour la satisfaisabilité propositionnelle
- 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
-
Autour de la décision possibiliste qualitative
- Ismahane Sid-Amar 20/09/2015
-
Compilation de préférences - application à la configuration de produits
- Nicolas Schmidt 17/09/2015 ANR
-
Logiques qualitatives pour la gestion des préférences
- Lydia Bouzar 28/06/2015
-
Optimisation booléenne multiobjectif : complexité sous contraintes compilées et résolution via SAT
- Emmanuel Lonca 26/06/2015 Artois
-
Dynamique des croyances et gestion de l'incertitude dans des logiques de description légères
- 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
- Raoui 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
-
Contribution à l'étude de relations d'inférence paraconsistante sous ressources limitées
- Nadège Porquet 01/12/2005
-
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
-
Étude de mécanismes d'abstraction et de construction de hiérarchies
- Sylvain Merchez 15/12/2000
-
Satisfaisabilité propositionnelle en informatique : aspects algorithmiques et extensions du formalisme
- Laure Brisoux Devendeville 02/12/1999
-
De la Satisfaisabilité à la Compilation de Bases de Connaissances Propositionnelles
- Bertrand Mazure 18/01/1999
-
Induction de connaissances de sens commun à partir de plongements vectoriels
- Zied Bouraoui 17/11/2022
-
Comptage, Compilation de Connaissances et Applications
- Stefan Mengel 08/12/2021
-
Raisonner, argumenter, classer et agréger
- Srdjan Vesic 18/03/2021
-
Promenade au-delà de NP
- Jean-Marie Lagniez 11/12/2019
-
Un peu d'Action, de Connaissance, de Croyance et Beaucoup de Logique Modale
- Tiago de Lima 05/12/2019
-
Modélisation et logique propositionnelle classique
- Yakoub Salhi 27/11/2019
-
Les logiques de description non monotones
- Ivan Varzinczak 26/11/2019
-
Contributions au raisonnement sous incertitude dans un cadre possibiliste
- Karim Tabia 24/10/2019
-
Des Données aux Connaissances : Modèles et Algorithmes
- Saïd Jabbour 06/12/2018
-
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
-
Travailler avec des préférences : rester simple pour faire plus
- 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
-
Le contrôle des agents autonomes de raisonnement progressif et "anytime" dans un environnement dynamique et incertain
- Abdel-Illah Mouaddib 27/11/2000