CRIL - Centre de Recherche en Informatique de Lens

Analysis of complex data using qualitative reasoning: Abderrahmane Boukontar 2021 Artois

Application de la théorie de l’argumentation au raisonnement juridique: Caren Al Anaissy 2021 ANR, Région HdF

Confidence measures by confrontation of sources: Quentin Elsaesser 2021 ANR

Design of new semiconducting electrodes for photoelectrochemical energy conversion by machine learning and DFT calculations: Astrid Klipfel 2020 ANR, Artois

Determination of the Association Constant between a Modified Cyclodextrin and a Guest by Artificial Intelligence for Valorization of Bio-Sourced Substrates by using Green Chemistry Principles: Gökhan Tahil 2020 Artois

Découverte de connaissances à partir de données migratoires: David Ing 2021 Artois, Région HdF

Explainable Dynamic Access Control Models: Ahmed Laouar 2022 ANR, Artois

Explanation via the « weak cores »: Marie Miceli 2019 CRIL

Formal models for explainable and robust AI: Louenas Bounia 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

Graph mining and Influence Maximization in social networks: Motaz Ben Hassine 2022 Autre

Intelligent processing of health data for the prediction and prevention of pathologies: Hanane Kteich 2021 CALL, Artois

Knowledge Compilation for explainable and robust AI: Steve Bellart 2020 ANR

Learning Interpretable Circuits: Chi Tran Nguyen Duong 2022 CRIL

Lightweight approaches for a Smart home solution for the elderly: Sara Kebir 2020 ANR, Artois

Optimal and sub-optimal solutions explanation in Boolean setting: Anthony Blomme 2020 Artois, Région HdF

Optimization of passenger flows and resource management through machine learning and constraint programming techniques: Thibault Falque 2020 Exakis Nelite

Production de schémas décisionnels pour atteindre l’efficience économique, sociétale et environnementale en matière de management de parcs de bâtiments et des infrastructures associées, en milieux urbains et péri-urbains: Yves Guffroy 2022 VITAL Equipement

Weighted Belief Base Merging: Chouaib Fellah 2020 ANR

Contributions to Constraint-based Approaches for Data Mining: Amel Hidouri 09.12.22 Autre

Reasoning with explanations and application to multi-label classification: Ryma Boumazouza 08.12.22 Artois, Région HdF

On Merging of Open-Domain Ontologies: Truong Thanh Ma 06.12.22 Artois

Hard Functions in Knowledge Compilation: from Lower Bounds to Applications: Alexis de Colnet 26.09.22 ANR

Defeasible Temporal Logic for the specification and verification of exception-tolerant systems: Anasse Chafik 09.09.22 Artois

Logical modeling of intentionality in epistemic games: Alix Goudyme 16.06.22 Artois

Sur la notion de support monotone en argumentation abstraite: Anis Gargouri 17.12.21 Artois, Région HdF

Autonomous Constraint Solvers: Hugues Wattez 09.12.21 Artois, Région HdF

Constraint-based Pattern Extraction: Ikram Nekkache 05.12.21 PROFAS B+

Pseudo-Boolean Reasoning and Compilation: Romain Wallon 14.12.20 Artois

From graph theory to propositional satisfiability: a new approach for the characterization of tractable classes: Yazid Boumarafi 13.12.19 Artois, CRIL

Hybridization of clauses learning techniques in constraint programming: Gaël Glorian 11.12.19 Artois

Résolution de csp qualitatifs pour le temps par des techniques de recherche locale, application à la planification hospitalière: Ali Mensi 18.12.18 Autre

Enumération des motifs intéressants dans les bases de données incertaines: Imen Ouled Dlala 17.12.18 Autre

Optimisation des soins d'urgence sous incertitudes a l'aide de formalismes qualitatifs spatio-temporels.: Marwa Harzi 17.12.18 Autre

Informatique ubiquitaire : techniques de curage d’informations perverties: Yacine Izza 07.12.18 Artois, Région HdF

Fouilles de graphes et application aux réseaux sociaux: Nizar Mhadhbi 03.12.18 Autre

Practical resolution of the coherence of formulas in modal logic: Valentin Montmirail 17.09.18 Artois

Constraints-based Data Mining: Abdelhamid Boudane 13.09.18

Reasoning from ontologies: Abdelmoutia Telli 13.05.18 Other

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

Interval-based possibility theory: Conditioning and probability/possibility transformations: Amélie Levray 08.12.17 Artois

Qualitative DL-Lite logics: Khaoula Boutouhami 03.12.17 Other

Graphes et contraintes: Mouny Samy Modeliar 22.03.17

Contributions algorithmiques au raisonnement spatial et temporel qualitatif basé sur des contraintes: Michael Sioutis 27.02.17 Artois, Région HdF

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

An alert correlation approach based on IFO-QCL and on the handling of partial information in possibility theory: Lydia Bouzar 28.06.15

Multi-Objective Boolean Optimization: complexity with compiled constraints and SAT-based resolution: Emmanuel Lonca 26.06.15 Artois

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

Résolution séquentielle et parallèle du problème de la satisfiabilité propositionnelle: Long Guo 08.07.13 MSR

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

Modèles graphiques possibilistes pour la corrélation d'alertes en détection d'intrusions: tayeb 09.03.11

Réseaux de neurones et treillis de galois: Norbert Tsopze 28.12.10

Extraction, représentation ontologique et classification des connaissances à partir des données sur le web: Sami Zghal 21.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

Classifieurs possibilistes basés sur les arbres de décision et les systèmes immunitaires artificiels: Ilyes Jenhani 01.02.10

Raisonnement dans l'incertain à partir de bases de croyances symboliquement pondérées et logique de description pour la corrélation d'alerte: Safa Yahi 04.12.09

Un Modèle pour la Prise de Décision Multi-agent sous Incertitude: Ramzi Benlarbi 04.12.09

Fouilles de représentations concises des motifs fréquents à travers les espaces de recherche conjonctif et disjonctif: Tarek Hamrouni 04.08.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

Raisonnement en présence de préférences et d'incertitude : Application à la détection d'intrusions et corrélation d'alertes: Karima Sedki 04.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 des inférences argumentatives : spécialisations et généralisations du cadre de Dung: Caroline Devred 01.12.06

Contribution à la fouille de données : Règles d’association et interactivité au sein d’un processus d’extraction de connaissances dans les données: Olivier Couturier 12.12.05

De la validité des formules booléennes quantifiées : étude de complexité et exploitation de classes traitables au sein d’un prouveur QBF: Florian Letombe 05.12.05

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

Utilisation et extensions de l’algorithmique pour SAT pour la résolution de différents problèmes d’intelligence artificielle: David Ansart 04.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

Contributions aux techniques de révision de croyances en intelligence artificielle : aspects sémantiques et calculatoires: Brigitte Bessant 13.03.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

Contribution to the study of logical aspects of hypothetico-deductive reasoning in artificial intelligence: Pierre Marquis 17.12.97

Liste des sujets proposés par l'école doctorale

SAT-based Approaches for Formal Verification with B method ANR