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
Actualités (RSS)
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.
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.
Recrutement Chercheur Post-Doctorant (H/F) en intelligence artificielle
Postuler Durée du contrat : 24 mois Date d’embauche prévue : 1 novembre 2023 Missions Le/La condidat.e travaillera sur Intelligence Artificielle neuro-symbolique dans le cadre du projet ANR JCJC ERIANA. Les connaissances de sens commun jouent un rôle de plus en plus important dans le développement des systèmes d’IA. Les connaissances peuvent être exprimées à l’aide de différents formalismes de représentation, y compris des cadres symboliques et des représentations vectorielles, où chacun de ces formalismes a des forces et des faiblesses complémentaires lorsqu’il s’agit d’implémenter le raisonnement.
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.