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 Johannes Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider, The Silent (R)evolution of SAT in Communications of the ACM, vol. 66, n° 6, pp. 64-72, 2023.
2023 Said Jabbour, Badran Raddaoui, Lakhdar Sais, A Symbolic Approach to Computing Disjunctive Association Rules from Data in Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, International Joint Conferences on Artificial Intelligence Organization, pp. 2133-2141, 2023.
2023 Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura, SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks in 14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023), SCITEPRESS, 2023.
2023 Omar Et-Targuy, Ahlame Begdouri, Salem Benferhat, Carole Delenne, Revising Weighted Knowledge Bases Using FH-Conditioning in ENIGMA 2023 - 1st Workshop on AI-driven heterogeneous data management: Completing, merging, handling inconsistencies and query-answeringis, 2023.
2023 Thibault Falque, Jean-Marie Lagniez, Romain Wallon, Panoramyx : une bibliothèque pour le développement de solveurs de contraintes parallèles in 24e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'23), 2023.

Actualités  (RSS)

La conférence ECSQARU'23 se tient à Arras du 19 au 22 septembre 2023

19 sept. 2023 - 00:00

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.

En savoir plus

Le logiciel Crustabri s'illustre à ICCMA'23

14 sept. 2023 - 00:00

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.

En savoir plus

Séminaire Séminaire de Kuldeep Meel - University of Toronto

Distinct Elements in Streams: An Algorithm for the (Text) Book.
17 juil. 2023 - 14:30

Given 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.

En savoir plus

Séminaire Séminaire d'Emiliano Lorini - IRIT Toulouse

A Rule-based Modal View of Causal Reasoning
22 juin 2023 - 10:00

The 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.

En savoir plus

Séminaire Séminaire de Paulius Dilkas

Synthesising Recursive Functions for First-Order Model Counting
25 mai 2023 - 14:00

First-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.

En savoir plus