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 Gilles Audemard, Christophe Lecoutre, Charles Prud'Homme, Guiding Backtrack Search by Tracking Variables During Constraint Propagation in International Conference on Principles and Practice of Constraint Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre, A Principle-Based Analysis of Bipolar Argumentation Semantics in 18th European Conference, JELIA 2023, 2023.
2023 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation in First International Workshop on Argumentation and Applications (Arg&App 2023), CEUR-WS, vol. 3472, 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.

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:00

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

En savoir plus

Séminaire Séminaire autour du projet MAIA

Présentation du projet MAIA
12 oct. 2023 - 14:00

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

En savoir plus

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