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

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

Weighted Belief Base Merging: 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

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

Contributions to Constraint-based Approaches for Data Mining: Amel Hidouri 12/9/22 Autre

Reasoning with explanations and application to multi-label classification: Ryma Boumazouza 12/8/22 Artois, Région HdF

On Merging of Open-Domain Ontologies: Truong Thanh Ma 12/6/22 Artois

Hard Functions in Knowledge Compilation: from Lower Bounds to Applications: Alexis de Colnet 9/26/22 ANR

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

Logical modeling of intentionality in epistemic games: Alix Goudyme 6/16/22 Artois

Autonomous Constraint Solvers: Hugues Wattez 12/9/21 Artois, Région HdF

Constraint-based Pattern Extraction: Ikram Nekkache 12/5/21 PROFAS B+

Pseudo-Boolean Reasoning and Compilation: Romain Wallon 12/14/20 Artois

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

Hybridization of clauses learning techniques in constraint programming: Gaël Glorian 12/11/19 Artois

Informatique ubiquitaire : techniques de curage d’informations perverties: Yacine Izza 12/7/18 Artois, Région HdF

Practical resolution of the coherence of formulas in modal logic: Valentin Montmirail 9/17/18 Artois

Constraints-based Data Mining: Abdelhamid Boudane 9/13/18

Reasoning from ontologies: Abdelmoutia Telli 5/13/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 12/8/17 Artois

Qualitative DL-Lite logics: Khaoula Boutouhami 12/3/17 Other

Knowledge compilation for model counting: Samuel Thomas 12/14/16 Artois, Région HdF

Changement de croyances et logiques modales: Thomas Caridroit 12/13/16 CRIL

A Stochastic Constraint-Based Approach to General Game Playing: Éric Piette 12/9/16 Artois

Extensions of Tractable Classes for Propositional Satisfiability: Al-Saedi Mohammad Saleh Balasim 11/14/16

Parallélisation de systèmes de contraintes complexes: Nebras Gharbi 12/4/15 OSEO

Dynamique des Systèmes d’Argumentation: Jean-Guy Mailly 9/30/15 Artois

On the qualitative decision in a possibility theory framework: Ismahane Sid-Amar 9/20/15

Compilation de préférences - application à la configuration de produits: Nicolas Schmidt 9/17/15 ANR

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

Multi-Objective Boolean Optimization: complexity with compiled constraints and SAT-based resolution: Emmanuel Lonca 6/26/15 Artois

Inconsistency and uncertainty handling in lightweight description logics: Zied Bouraoui 6/5/15

Parallélisation de solveurs de contraintes: Benoît Hoessen 12/10/14 OSEO

Intégration de techniques CSP pour la résolution du problème WCSP: Nicolas Paris 11/6/14 OSEO

Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications: Jerry Lonlac Konlac 10/3/14

La substituabilité et la cohérence de tuples pour les réseaux de contraintes pondérées: Djamel-Eddine Dehani 2/13/14 Artois, Région HdF

Contributions aux approches logiques de l'argumentation en intelligence artificielle: Badran Raddaoui 11/21/13

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

Analyse et regroupement automatique de textes courts à des fins statistiques: Benoît Trouvilliez 5/13/13 CIFRE

Développement de logiques non-classiques pour la gestion des préférences et de l'incertitude: Abdelhamid Boudjelida 4/7/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 2/16/13

Possibilistic networks : from learning to compilation and propagation: Raouia Ayachi 1/18/13

Causal reasoning modeling under a belief function framework: Imen Boukhris 1/17/13

Extraction de motifs de données complexes : cas de la classification des protéines: Rabie Saidie 10/3/12

Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes: Jean-Marie Lagniez 12/7/11 Artois

Méthodes Permettant la Prédominance de Connaissances Subsumées: Sébastien Ramon 12/2/11

Modèles graphiques possibilistes pour la corrélation d'alertes en détection d'intrusions: tayeb 3/9/11

Réseaux de neurones et treillis de galois: Norbert Tsopze 12/28/10

Extraction, représentation ontologique et classification des connaissances à partir des données sur le web: Sami Zghal 12/21/10

Fusion de réseaux de contraintes qualitatives: Nicolas Schwind 12/10/10

Étude de systèmes de contraintes contraintes hétérogènes pour la gestion du temps: Dominique Dalmeida 12/3/10

Classifieurs possibilistes basés sur les arbres de décision et les systèmes immunitaires artificiels: Ilyes Jenhani 2/1/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 12/4/09

Un Modèle pour la Prise de Décision Multi-agent sous Incertitude: Ramzi Benlarbi 12/4/09

Fouilles de représentations concises des motifs fréquents à travers les espaces de recherche conjonctif et disjonctif: Tarek Hamrouni 8/4/09

Fusion de réseaux causaux possibilistes: Faiza Titouna 1/20/09

Étude du raisonnement temporel basé sur la résolution de contraintes: Mahmoud Saade 12/15/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 12/5/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 12/4/08

Modèles graphiques et approches comportementales pour la détection d'intrusions: Karim Tabia 11/28/08

Fusion d'informations incertaines sans commensurabilité des échelles de référence: Julien Rossit 7/10/08

Réseaux possibilistes hybrides : Représentation des interventions et algorithmes: Salma Smaoui 12/14/07

Contributions à la résolution générique des problèmes de satisfaction de contraintes: Julien Vion 11/30/07

Utilisation de techniques polynomiales pour la résolution pratique: Olivier Fourdrinoy 11/27/07

Exploiter les conflits pour réduire l'effort de recherche en satisfaction de contraintes: Sébastien Tabary 11/22/07

Techniques algorithmiques pour l'extraction de formules minimales inconsistantes: Cédric Piette 11/21/07

Contribution à l’étude des opérateurs de fusion : manipulabilité et fusion disjonctive: Patricia Everaere 12/7/06

Contribution à l'étude des inférences argumentatives : spécialisations et généralisations du cadre de Dung: Caroline Devred 12/1/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 12/5/05

Algorithmique des Treillis de Concepts : Application à la Fouille de Données: Huaiguo Fu 2/14/05

Utilisation et extensions de l’algorithmique pour SAT pour la résolution de différents problèmes d’intelligence artificielle: David Ansart 2/4/05

Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT: Richard Ostrowski 12/15/04

Gestion des Incohérences dans les Systèmes de Contrôle d’Accès: Rania El Baida 12/13/04

Contributions aux techniques de fusion de connaissances en intelligence artificielle: Ahcène Sofiane 6/16/03

Study of abstraction mechanisms and hierarchies construction: Sylvain Merchez 12/15/00

Sur la notion de support monotone en argumentation abstraite: Anis Gargouri 12/17/21 Artois, Région HdF

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

Enumération des motifs intéressants dans les bases de données incertaines: Imen Ouled Dlala 12/17/18 Autre

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

Fouilles de graphes et application aux réseaux sociaux: Nizar Mhadhbi 12/3/18 Autre

Graphes et contraintes: Mouny Samy Modeliar 3/22/17

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

Contribution à l'étude de relations d'inférence paraconsistante sous ressources limitées: Nadège Porquet 12/1/05

Satisfaisabilité propositionnelle en informatique : aspects algorithmiques et extensions du formalisme: Laure Brisoux Devendeville 12/2/99

Contributions aux techniques de révision de croyances en intelligence artificielle : aspects sémantiques et calculatoires: Brigitte Bessant 3/13/99

De la Satisfaisabilité à la Compilation de Bases de Connaissances Propositionnelles: Bertrand Mazure 1/18/99

Inducing Commonsense Knowledge Using Vector Space Embeddings: Zied Bouraoui 11/17/22

Counting, Knowledge Compilation and Applications: Stefan Mengel 12/8/21

Reasoning, Arguing, Ranking and Aggregating: Srdjan Vesic 3/18/21

Beyond NP: Jean-Marie Lagniez 12/11/19

A Little about Action, Knowledge, Belief and a Lot about Modal Logic: Tiago de Lima 12/5/19

Modeling and classical propositional logic: Yakoub Salhi 11/27/19

Defeasible Description Logics: Ivan Varzinczak 11/26/19

Contributions to reasoning under uncertainty in a possibilistic framework: Karim Tabia 10/24/19

Des Données aux Connaissances : Modèles et Algorithmes: Saïd Jabbour 12/6/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 12/8/11

Sat4j, a free reasoning engine in propositional logic: Daniel Le Berre 12/3/10

Problem solving around SAT: Gilles Audemard 11/29/10

Reasoning & Inconsistency: Sébastien Konieczny 3/3/10

SAT and beyond - Models and Algorithms: Bertrand Mazure 1/29/10

Working with preferences: staying simple to do more: Souhila Kaci 4/3/09

Attempting simplicity in satisfying constraints: Christophe Lecoutre 11/22/07

Knowledge extraction based on Galois lattices: Methods and applications: Engelbert Mephu Nguifo 12/10/01

From solving the SAT problem to solving problems around SAT: Lakhdar Saïs 12/1/00

control of progressive and anytime reasoning autonomous agents in a dynamic and uncertain environment: Abdel-Illah Mouaddib 11/27/00

Contribution to the study of logical aspects of hypothetico-deductive reasoning in artificial intelligence: Pierre Marquis 12/17/97

SAT-based Approaches for Formal Verification with B method ANR