Le CRIL en bref

présentation

Le Centre de Recherche en Informatique de Lens (CRIL UMR 8188) est un laboratoire de l’Université d’Artois et du CNRS dont la thématique de recherche fédératrice concerne l'intelligence artificielle et ses applications. Il regroupe plus de 60 membres : chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques.

Le CRIL participe à la Confédération Européenne de Laboratoires en Intelligence Artificielle CLAIRE et à l'alliance régionale humAIn. Il bénéficie du soutien du Ministère de l’Enseignement Supérieur et de la Recherche, du CNRS, de l’Université d’Artois et de la région Hauts de France.

Le CRIL est localisé sur deux sites à Lens : la faculté des sciences Jean Perrin et l’IUT.

En savoir plus

Publications récemment mises à jour

2023 Amílcar Mata Díaz, Ramón Pino Pérez, On manipulation in merging epistemic states in International Journal of Approximate Reasoning, vol. 155, pp. 66-103, 2023.
2023 Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin, Some thoughts about artificial stupidity and artificial dumbness in AI Communications, vol. 2023, n° pre-press, pp. 1--15, 2023.
2024 Salem Benferhat, Didier Dubois, Henri Prade, Provenance Calculus and Possibilistic Logic: A Parallel and a Discussion in 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), Springer Nature Switzerland, vol. 14294, pp. 427-441, 2024.
2024 Arthur Marzinkowski, Salem Benferhat, Anastasia Paparrizou, Cédric Piette, On object detection based on similarity measures from digital maps in IntelliSys 2023 - Intelligent Systems Conference, vol. 1, 2024.
2023 Astrid Klipfel, Zied Bouraoui, Olivier Peltre, Yaël Fregier, Najwa Harrati, Adlane Sayede, Equivariant Message Passing Neural Network for Crystal Material Discovery in AAAI Conference on Artificial Intelligence, vol. 37, pp. 14304-14311, 2023.

Actualités  (RSS)

Séminaire Séminaire de Vincent Derkinderen KU Leuven

ProbLog: Harnessing Knowledge Compilation for Probabilistic Inference in AI
29 févr. 2024 - 14:00

Probabilistic reasoning is a key aspect of artificial intelligence. In this talk we will look at probabilistic reasoning through the lens of ProbLog, a probabilistic logic programming language. This language extends the logical facts and rules of Prolog with probabilistic facts. Probabilistic reasoning in this language is achieved through knowledge compilation techniques. We will delve deeper into the details of this reasoning pipeline and highlight some of ProbLog's extensions. In particular we consider DeepProbLog, which heavily benefits from inference through d-DNNF compilation.

En savoir plus

Séminaire Séminaire Emmanuel Lonca, CRIL. 

Clustercril v2024: CRIL cluster, Slurm & good practices
22 févr. 2024 - 14:00

The CRIL cluster has been providing the laboratory's researchers with computing resources since it was set up in 2009. Since then, the evolution of these resources has been continuous, leading to a heterogeneous architecture in which traditional computing nodes, nodes dedicated to distributed computing, GPU nodes and various servers to drive this computing power cohabit, all driven by the Slurm resource manager. The aim of this talk is to present the calculation tools available, and how to use them (correctly) via Slurm.

En savoir plus

Soutenances de thèses du 18 au 22 décembre 2023

18 déc. 2023 - 00:00

Cette semaine, du lundi 18 au vendredi 22 décembre, sept thèses de doctorat vont être soutenues au CRIL. Lundi 18 décembre 10 heures : Steve Bellart, “Calcul d’explications formelles pour les modèles d’apprentissage automatique à ensemble d’arbres” 14 heures : Chouaib Fellah, “Fusion pondérée de bases de croyances” 15 heures : Anthony Blomme, “Explications pour les solveurs SAT” Mercredi 20 décembre 14 heures 30 : Sara Kebir, “Approches légères pour une solution de maison intelligente pour personnes âgées” Jeudi 21 décembre 10 heures : Thibault Falque, “Optimisation des flux passagers et de la gestion de ressources aéroportuaires via des techniques d’apprentissage automatique et de programmation par contrainte” Vendredi 22 décembre 14 heures : Louenas Bounia : “Modèles formels pour l’IA explicable et robuste” 15 heures : Astrid Klipfel : “Equivariant Message Passing Neural Networks and diffusion model for materials science”

En savoir plus

Séminaire Séminaire de Celine Hocquette, Oxford University, UK

Inductive learning of logic programs
14 déc. 2023 - 14:00

Inductive logic programming (ILP) is a form of program synthesis. The goal is to learn logic programs that generalise examples. ILP has attractive features such as strong data efficiency and high expressivity. The challenge lies in efficiently searching large hypothesis spaces. We present approaches to improve the learning performance of ILP systems, building on recent progress in constraint programming. We demonstrate the scalability of our approaches to complex problems involving noise or infinite numerical domains.

En savoir plus

Séminaire Séminaire de Khaled Belahcene, MICS, CentraleSupélec, Paris-Saclay University, France

Raisonnement et explications pour les modèles robustes de préférences redistributives
16 nov. 2023 - 13:00

Dans différents cadres de prise de décision, telle que la décision collective ou multicritère, il a été proposé de compléter les recommandations issues de systèmes d'aide à la décision par des explications fondées sur des propriétés normatives. Nous étudierons plus particulièrement le cas où les préférences (de la société ou du décideur) sont redistributives, dans le sens où elles favorisent le sort des plus mal lotis, et incomplètes, dans le sens où l'on ne fait pas l'hypothèse habituelle selon laquelle elles forment un préordre total sur les alternatives.

En savoir plus