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 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.
Publications récemment mises à jour
Articles de conférences internationales
Actualités (RSS)
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.
Séminaire Séminaire autour du projet MAIA
Présentation du projet MAIA
12 oct. 2023 - 14:00Le Projet MAIA a pour objectif d’accompagner et d’approfondir les nouveaux usages qui apparaissent depuis quelques années dans de nombreux champs scientifiques suite à l’essor de l’intelligence artificielle. Le projet vise à étudier, développer et déployer les interactions fortes existant entre l’intelligence artificielle et trois domaines d’applications phares de l’alliance A2U : la santé (UPJV), la chimie (matériaux, énergie ; UPJV/UArtois) et l’environnement/mer (ULCO) ainsi que sur les aspects économiques, sociologiques, éthiques et juridiques.
La conférence ECSQARU'23 se tient à Arras du 19 au 22 septembre 2023
La dix-septième édition de la conférence ECSQARU (European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty - ECSQARU 2023) se tient à Arras, du 19 au 22 septembre 2023. Elle est co-organisée par Zied Bouraoui, Saïd Jabbour et Srdjan Vesic, du CRIL.
Le logiciel Crustabri s'illustre à ICCMA'23
Une équipe composée de Jean-Marie Lagniez (CRIL), Emmanuel Lonca (CRIL) et Jean-Guy Mailly (LIPADE) s’est distinguée lors de l’édition 2023 de l’International Competition on Computational Models of Argumentation (ICCMA'23) avec son logiciel Crustabri. En particulier, Crustabri s’est adjugé les meilleurs résultats dans la track principale en remportant 9 des 13 subtracks ainsi que dans la track dynamique en remportant l’ensemble des 3 subtracks.
Séminaire Séminaire de Kuldeep Meel - University of Toronto
Distinct Elements in Streams: An Algorithm for the (Text) Book.
17 juil. 2023 - 14:30Given a data stream of m elements, the Distinct Elements problem is to estimate the number of distinct elements in the stream. Distinct Elements has been a subject of theoretical and empirical investigations over the past four decades resulting in space-optimal algorithms for it. However, all the current state-of-the-art algorithms are often difficult to analyze or impractical. I will present a simple, intuitive, sampling-based space-efficient algorithm whose description and the proof are accessible to undergraduates with a knowledge of basic probability theory.
Séminaire Séminaire d'Emiliano Lorini - IRIT Toulouse
A Rule-based Modal View of Causal Reasoning
22 juin 2023 - 10:00The presentation is based on a paper that will be presented at IJCAI 2023. It introduces a novel rule-based semantics for causal reasoning as well as a number of modal languages interpreted over it. They enable us to represent some fundamental concepts in the theory of causality including causal necessity and possibility, interventionist conditionals and Lewisian conditionals. We provide complexity results for the satisfiability checking and model checking problem for these modal languages.