CRIL - Centre de Recherche en Informatique de Lens

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

Classification mufti-sources hétérogènes pour l'optimisation énergétique des bâtiments: Anschaire Perard 2024 ANRT, Vital Équipement service

Conceptual-based modelling of idiomatic expressions: Naïm Es sebbani 2023 Artois service

Deep Graph Representation Learning on non-uniform 3D objects: Md Yasir Arafat 2024 Artois

Design of diffusion-based generative models for the discovery of new crystallographic structures: Elohan Veillon 2023 Artois service

Development of a critical evolution detection system in hospitalized patients: Clément Lens 2023 ANR, Communauté Urbaine d'Arras service

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

Exploiting data and knowledge to predict and explain: Mehdi Sabiri 2023 Artois xai

From AI to Propositional Logic: Conversion to SAT and Model Analysis: Rim Belaiche 2024 Artois, Région HdF

Fusion pratique et conditionnement hétérogène à partir d’informations incertaines: Omar Et-Targuy 2022 ANR 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

Investigating Rich Conflict-Tolerant Semantics and Inconsistency Measures for Imperfect databases: Thanh-Tri Trang 2024 ANR donnees

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

Prise en compte des courbes d'apprentissage dans l’équilibrage des chaînes d’assemblage en aéronautique: Duc Anh Le 2023 Artois, CRIL, ONERA contraintes

SAT-based Approaches for Formal Verification with B method: Daniel Crowley 2023 ANR contraintes

Security of Mobile Edge Computing and Next-Generation IoT Networks: Hafida Assmi 2025 Artois, Marocan donnees

Towards a Mathematical Theory of Understanding in language models: Nathanael Haas 2024 ANR, ULCO service

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

Contributions to Cheminformatics: Stereo2vec Molecule Embeddings and the Open Cyclodextrin DataBase: Gökhan Tahil 17.12.24 Artois service

Approches innovantes d’optimisation du cross-docking : Incertitude, durabilité et intégration de l'IA: Amna Altaf 16.12.24 ANR, EURALOGISTIC contraintes

Confidence measures by confrontation of sources: Quentin Elsaesser 16.12.24 ANR connaissances

From Machine Learning to Digital Humanities: David Ing 13.12.24 Artois, Région HdF service

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

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

Principles and Practices for Bipolar Semantics and Impact Measures in Computational Argumentation: Caren Al Anaissy 04.07.24 ANR, Région HdF service

Equivariant Message-Passing Neural Networks and Probabilistic Diffusion Models for Materials Science: Astrid Klipfel 22.12.23 ANR, Artois service

Formal models for explainable and robust AI: Louenas Bounia 22.12.23 ANR xai

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

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 NP^PP 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

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

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

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

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

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 contraintes

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

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

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

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

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