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 revues internationales
Articles de conférences internationales
Articles de conférences nationales
Actualités (RSS)
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.
Séminaire Séminaire de Paulius Dilkas
Synthesising Recursive Functions for First-Order Model Counting
25 mai 2023 - 14:00First-order model counting (FOMC) is a computational problem that asks to count the models of a sentence in finite-domain first-order logic. In this talk, I am going to argue that the capabilities of FOMC algorithms to date are limited by their inability to express many types of recursive computations. To enable such computations, we relax the restrictions that typically accompany domain recursion and generalise the circuits used to express a solution to an FOMC problem to directed graphs that may contain cycles.