Le CRIL en bref
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 près de 70 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.
Publications récemment mises à jour
Articles de revues internationales
Articles de conférences internationales
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:00Probabilistic 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.
Séminaire Séminaire Emmanuel Lonca, CRIL.
Clustercril v2024: CRIL cluster, Slurm & good practices
22 févr. 2024 - 14:00The 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.
Soutenances de thèses du 18 au 22 décembre 2023
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”
Séminaire Séminaire de Celine Hocquette, Oxford University, UK
Inductive learning of logic programs
14 déc. 2023 - 14:00Inductive 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.
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:00Dans 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.
Séminaire Séminaire de Quentin Manière, Department of Computer Science, ScaDS.AI, Leipzig University, Germany
Querying Circumscribed Description Logic Knowledge Bases
2 nov. 2023 - 14:00Circumscription is one of the main approaches for defining non-monotonic description logics (DLs) and the decidability and complexity of traditional reasoning tasks, such as satisfiability of circumscribed DL knowledge bases (KBs), are well understood. For evaluating conjunctive queries (CQs) and unions thereof (UCQs), in contrast, not even decidability has been established. In our paper at KR this year, we prove decidability of (U)CQ evaluation on circumscribed DL KBs and obtain a rather complete picture of both the combined complexity and the data complexity for DLs ranging from ALCHIO via EL to various versions of DL-Lite.