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 Alexis de Colnet, Stefan Mengel, Characterizing Tseitin-Formulas with Short Regular Resolution Refutations in Journal of Artificial Intelligence Research, vol. 76, pp. 265-286, 2023.
2023 Vivien Beuselinck, Jérôme Delobelle, Srdjan Vesic, A Principle-based Account of Self-attacking Arguments in Gradual Semantics in Journal of Logic and Computation, vol. 33, n° 2, pp. 230-256, 2023.
2023 Ismaïl Baaj, Approximations de Tchebyshev d'un système incompatible d'équations relationnelles floues de type max −T in Rencontres francophones sur la Logique Floue et ses Applications 2023, Cepadues, pp. 101-108, 2023.
2023 Stefan Mengel, Bounds on BDD-Based Bucket Elimination in 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 271, pp. 16:1--16:11, 2023.
2023 Tiago Lima, Emiliano Lorini, François Schwarzentruber, Base-Based Model Checking for Multi-agent only Believing in 18th European Conference on Logics in Artificial Intelligence ( JELIA 2023), Springer Nature Switzerland, vol. 14281, pp. 437-445, 2023.

Actualités  (RSS)

Séminaire Séminaire de Celine Hocquette, Oxford University, UK

Inductive learning of logic programs
14 déc. 2023 - 14:00

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

En savoir plus

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

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

En savoir plus

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

Recrutement Chercheur Post-Doctorant (H/F) en intelligence artificielle

5 oct. 2023 - 00:00

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.

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