CRIL - Centre de Recherche en Informatique de Lens

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

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

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

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

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

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 service

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

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

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

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

Fusion pratique et conditionnement hétérogène à partir d’informations incertaines: Omar Et-Targuy 2022 ANR donnees

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

Intelligent processing of health data for the prediction and prevention of pathologies: Hanane Kteich 2021 CALL, Artois 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

Interventions socio-psychologiques artificiellement intelligentes: Diane Sam-Mine 2023 ANR, Région HdF service

New Optimization Techniques for Cross-Docking: Amna Altaf 2022 ANR, EURALOGISTIC contraintes

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

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

Formal models for explainable and robust AI: Louenas Bounia 12/22/23 ANR xai

Optimization of passenger flows and resource management through machine learning and constraint programming techniques: Thibault Falque 12/21/23 Exakis Nelite contraintes

Lightweight approaches for a Smart home solution for the elderly: Sara Kebir 12/20/23 ANR, Artois service

Knowledge Compilation for explainable and robust AI: Steve Bellart 12/18/23 ANR xai

Optimal and sub-optimal solutions explanation in Boolean setting: Anthony Blomme 12/18/23 Artois, Région HdF xai

Weighted Belief Base Merging: Chouaib Fellah 12/18/23 ANR connaissances

Contribution to solving NP^PP problems: Marie Miceli 11/30/23 CRIL contraintes

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

Predictive models & reasoning with explanations: Ryma Boumazouza 12/8/22 Artois, Région HdF xai

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

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

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

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

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

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

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

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

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

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

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 contraintes

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

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

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

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

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

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

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

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