Promotionen und Habilitationen
-
Analysis of complex data using qualitative reasoning
- Abderrahmane Boukontar 2021 Artois connaissances
-
Conceptual-based modelling of idiomatic expressions
- Naïm Es sebbani 2023 Artois service
-
Confidence measures by confrontation of sources
- Quentin Elsaesser 2021 ANR connaissances
-
Explainable Dynamic Access Control Models
- Ahmed Laouar 2022 ANR, Artois connaissances
-
Exploiting data and knowledge to predict and explain
- Mehdi Sabiri 2023 Artois xai
-
Graph mining and Influence Maximization in social networks
- Motaz Ben Hassine 2022 Autre donnees
-
he Role of Voting in Online Argumentative Systems
- Juliete Halal Rossie 2023 ANR connaissances
-
Interventions socio-psychologiques artificiellement intelligentes
- Diane Sam-Mine 2023 ANR, Région HdF service
-
Learning and reasoning from natural language explanations
- Thomas Bailleux 2023 Artois, Région HdF donnees
-
Learning Interpretable Circuits
- Chi Tran Nguyen Duong 2022 CRIL xai
-
Management of knowledge, constraints and heterogeneous and uncertain data
- Arthur Marzinkowski 2022 Artois donnees
-
SAT-based Approaches for Formal Verification with B method
- Daniel Crowley 2023 ANR contraintes
-
Using AI for battery electrode operation optimization
- Mengda Xing 2023 ANR, Artois service
-
Using argumentation for fact checking
- Maxime Brouat 2023 CNRS, University of Arizona connaissances
-
Formal models for explainable and robust AI
- Louenas Bounia 22.12.23 ANR xai
-
Lightweight approaches for a Smart home solution for the elderly
- Sara Kebir 20.12.23 ANR, Artois service
-
Knowledge Compilation for explainable and robust AI
- Steve Bellart 18.12.23 ANR xai
-
Optimal and sub-optimal solutions explanation in Boolean setting
- Anthony Blomme 18.12.23 Artois, Région HdF xai
-
Weighted Belief Base Merging
- Chouaib Fellah 18.12.23 ANR connaissances
-
Contribution to solving NPPP problems
- Marie Miceli 30.11.23 CRIL contraintes
-
Contributions to Constraint-based Approaches for Data Mining
- Amel Hidouri 09.12.22 Autre donnees
-
Predictive models & reasoning with explanations
- Ryma Boumazouza 08.12.22 Artois, Région HdF xai
-
On Merging of Open-Domain Ontologies
- Truong Thanh Ma 06.12.22 Artois connaissances
-
Hard Functions in Knowledge Compilation: from Lower Bounds to Applications
- Alexis de Colnet 26.09.22 ANR contraintes
-
Logical modeling of intentionality in epistemic games
- Alix Goudyme 16.06.22 Artois connaissances
-
Sur la notion de support monotone en argumentation abstraite
- Anis Gargouri 17.12.21 Artois, Région HdF connaissances
-
Autonomous Constraint Solvers
- Hugues Wattez 09.12.21 Artois, Région HdF contraintes
-
Constraint-based Pattern Extraction
- Ikram Nekkache 05.12.21 PROFAS B+ donnees
-
Pseudo-Boolean Reasoning and Compilation
- Romain Wallon 14.12.20 Artois contraintes
-
Hybridization of clauses learning techniques in constraint programming
- Gaël Glorian 11.12.19 Artois contraintes
-
Enumération des motifs intéressants dans les bases de données incertaines
- Imen Ouled Dlala 17.12.18 Autre donnees
-
Fouilles de graphes et application aux réseaux sociaux
- Nizar Mhadhbi 03.12.18 Autre donnees
-
Practical resolution of the coherence of formulas in modal logic
- Valentin Montmirail 17.09.18 Artois contraintes
-
Constraints-based Data Mining
- Abdelhamid Boudane 13.09.18 donnees
-
Reasoning from ontologies
- Abdelmoutia Telli 13.05.18 Other connaissances
-
Argumentation reasoning tools for online debate platform
- Jérôme Delobelle 12.12.17 ANR
-
Parallel SAT solving
- Nicolas Szczepanski 12.12.17 Artois, Région HdF
-
Qualitative DL-Lite logics
- Khaoula Boutouhami 03.12.17 Other
-
Graphes et contraintes
- Mouny Samy Modeliar 22.03.17
-
Knowledge compilation for model counting
- Samuel Thomas 14.12.16 Artois, Région HdF
-
Changement de croyances et logiques modales
- Thomas Caridroit 13.12.16 CRIL
-
A Stochastic Constraint-Based Approach to General Game Playing
- Éric Piette 09.12.16 Artois
-
Extensions of Tractable Classes for Propositional Satisfiability
- Al-Saedi Mohammad Saleh Balasim 14.11.16
-
Parallélisation de systèmes de contraintes complexes
- Nebras Gharbi 04.12.15 OSEO
-
Dynamique des Systèmes d’Argumentation
- Jean-Guy Mailly 30.09.15 Artois
-
On the qualitative decision in a possibility theory framework
- Ismahane Sid-Amar 20.09.15
-
Compilation de préférences - application à la configuration de produits
- Nicolas Schmidt 17.09.15 ANR
-
Inconsistency and uncertainty handling in lightweight description logics
- Zied Bouraoui 05.06.15
-
Parallélisation de solveurs de contraintes
- Benoît Hoessen 10.12.14 OSEO
-
Intégration de techniques CSP pour la résolution du problème WCSP
- Nicolas Paris 06.11.14 OSEO
-
Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications
- Jerry Lonlac Konlac 03.10.14
-
La substituabilité et la cohérence de tuples pour les réseaux de contraintes pondérées
- Djamel-Eddine Dehani 13.02.14 Artois, Région HdF
-
Contributions aux approches logiques de l'argumentation en intelligence artificielle
- Badran Raddaoui 21.11.13
-
Analyse et regroupement automatique de textes courts à des fins statistiques
- Benoît Trouvilliez 13.05.13 CIFRE
-
Développement de logiques non-classiques pour la gestion des préférences et de l'incertitude
- Abdelhamid Boudjelida 07.04.13
-
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.13
-
Possibilistic networks : from learning to compilation and propagation
- Raouia Ayachi 18.01.13
-
Causal reasoning modeling under a belief function framework
- Imen Boukhris 17.01.13
-
Extraction de motifs de données complexes : cas de la classification des protéines
- Rabie Saidie 03.10.12
-
Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes
- Jean-Marie Lagniez 07.12.11 Artois
-
Méthodes Permettant la Prédominance de Connaissances Subsumées
- Sébastien Ramon 02.12.11
-
Réseaux de neurones et treillis de galois
- Norbert Tsopze 28.12.10
-
Fusion de réseaux de contraintes qualitatives
- Nicolas Schwind 10.12.10
-
Étude de systèmes de contraintes contraintes hétérogènes pour la gestion du temps
- Dominique Dalmeida 03.12.10
-
Un Modèle pour la Prise de Décision Multi-agent sous Incertitude
- Ramzi Benlarbi 04.12.09
-
Fusion de réseaux causaux possibilistes
- Faiza Titouna 20.01.09
-
Étude du raisonnement temporel basé sur la résolution de contraintes
- Mahmoud Saade 15.12.08
-
Intégration des ressources en planification temporelle optimale
- Zied Loukil 12.12.08
-
De la Satisfiabilité Propositionnelle aux Formules Booléennes Quantifiées
- Saïd Jabbour 05.12.08
-
Modèles graphiques et approches comportementales pour la détection d'intrusions
- Karim Tabia 28.11.08
-
Fusion d'informations incertaines sans commensurabilité des échelles de référence
- Julien Rossit 10.07.08
-
Réseaux possibilistes hybrides : Représentation des interventions et algorithmes
- Salma Smaoui 14.12.07
-
Contributions à la résolution générique des problèmes de satisfaction de contraintes
- Julien Vion 30.11.07
-
Utilisation de techniques polynomiales pour la résolution pratique
- Olivier Fourdrinoy 27.11.07
-
Exploiter les conflits pour réduire l'effort de recherche en satisfaction de contraintes
- Sébastien Tabary 22.11.07
-
Techniques algorithmiques pour l'extraction de formules minimales inconsistantes
- Cédric Piette 21.11.07
-
Contribution à l’étude des opérateurs de fusion : manipulabilité et fusion disjonctive
- Patricia Everaere 07.12.06
-
Contribution à l'étude de relations d'inférence paraconsistante sous ressources limitées
- Nadège Porquet 01.12.05
-
Algorithmique des Treillis de Concepts : Application à la Fouille de Données
- Huaiguo Fu 14.02.05
-
Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT
- Richard Ostrowski 15.12.04
-
Gestion des Incohérences dans les Systèmes de Contrôle d’Accès
- Rania El Baida 13.12.04
-
Contributions aux techniques de fusion de connaissances en intelligence artificielle
- Ahcène Sofiane 16.06.03
-
Study of abstraction mechanisms and hierarchies construction
- Sylvain Merchez 15.12.00
-
Satisfaisabilité propositionnelle en informatique : aspects algorithmiques et extensions du formalisme
- Laure Brisoux Devendeville 02.12.99
-
De la Satisfaisabilité à la Compilation de Bases de Connaissances Propositionnelles
- Bertrand Mazure 18.01.99
-
Inducing Commonsense Knowledge Using Vector Space Embeddings
- Zied Bouraoui 17.11.22
-
Counting, Knowledge Compilation and Applications
- Stefan Mengel 08.12.21
-
Reasoning, Arguing, Ranking and Aggregating
- Srdjan Vesic 18.03.21
-
Beyond NP
- Jean-Marie Lagniez 11.12.19
-
A Little about Action, Knowledge, Belief and a Lot about Modal Logic
- Tiago de Lima 05.12.19
-
Modeling and classical propositional logic
- Yakoub Salhi 27.11.19
-
Defeasible Description Logics
- Ivan Varzinczak 26.11.19
-
Contributions to reasoning under uncertainty in a possibilistic framework
- Karim Tabia 24.10.19
-
Des Données aux Connaissances : Modèles et Algorithmes
- Saïd Jabbour 06.12.18
-
Incomparability and incommensurability in reasoning and belief dynamics
- Sylvain Lagrue 12.12.11
-
Qualitative constraints for reasoning about time and space
- Jean-François Condotta 08.12.11
-
Sat4j, a free reasoning engine in propositional logic
- Daniel Le Berre 03.12.10
-
Problem solving around SAT
- Gilles Audemard 29.11.10
-
Reasoning & Inconsistency
- Sébastien Konieczny 03.03.10
-
SAT and beyond - Models and Algorithms
- Bertrand Mazure 29.01.10
-
Working with preferences: staying simple to do more
- Souhila Kaci 03.04.09
-
Attempting simplicity in satisfying constraints
- Christophe Lecoutre 22.11.07
-
Knowledge extraction based on Galois lattices: Methods and applications
- Engelbert Mephu Nguifo 10.12.01
-
From solving the SAT problem to solving problems around SAT
- Lakhdar Saïs 01.12.00
-
control of progressive and anytime reasoning autonomous agents in a dynamic and uncertain environment
- Abdel-Illah Mouaddib 27.11.00