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

2022 Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, On the Explanatory Power of Boolean Decision Trees * in Data and Knowledge Engineering, vol. 142, pp. 102088, 2022.
2022 Leila Amgoud, Dragan Doder, Srdjan Vesic, Evaluation of Argument Strength in Attack Graphs: Foundations and Semantics in Artificial Intelligence, vol. 302, pp. 103607, 2022.
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.
2022 Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais, A Declarative Framework for Maximal k-plex Enumeration Problems in 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2022.
2022 Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin, Quelques réflexions autour de la notion de bêtise artificielle in 16èmes Journées d’Intelligence Artificielle Fondamentale (Plate-Forme Intelligence Artificielle) (JIAF 2022), pp. 1-11, 2022.

Actualités  (RSS)

Thèses proposées SAT-based Approaches for Formal Verification with B method

Candidater Summary The ANR project BLaSST targets bridging combinatorial and symbolic techniques in automatic theorem prov- ing, in particular for proof obligations generated from B models. Work will be carried out on SAT-based techniques as well as on more expressive SMT formalisms. In both cases encoding techniques, optimized resolution techniques, model generation, and lemma suggestion will be considered. Combining both lines of work, the expected scientific impact is a substantially higher degree of automation of solvers for expressive input languages by leveraging higher-order reasoning and enumerative instantiations over finite domains.

En savoir plus

Séminaire Séminaire de Pierre Monnin - Orange Lab

Knowledge graphs: construction, matching, and applications
12 janv. 2023 - 14:00

In the Web of data, an increasing number of knowledge graphs (KGs) are concurrently published, edited, and accessed by human and software agents. Their wide adoption makes key their construction, matching, and usage. KG construction can rely on knowledge extraction from various types of data (e.g., text, tables). Matching consists in identifying equivalent, more specific, or somewhat similar units within and across KGs. This task is crucial since concurrent publication and edition may result in coexisting and complementary KGs.

En savoir plus

Séminaire Séminaire de Zied Bouraoui - CRIL Univ Artois & CNRS

Inducing Commonsense Knowledge Using Vector Space Embeddings
17 nov. 2022 - 14:00

To be announced

En savoir plus

Séminaire Séminaire de Grégory Bonnet - MAD Team - GREYC - Normandie University

Intégration d'une éthique guidée par les valeurs dans les processus décisionnels de Markov
10 nov. 2022 - 14:00

Il s'agit d'un travail conjoint avec Nadjet Bourdache, Abdel-Illah Mouaddib et Mihail Stojanovski. Nous nous intéressons ici à la prise en compte de critères éthiques dans les problèmes de décision séquentielle mono-agents modélisés par des processus décisionnels de Markov. Sans prétendre à une universalité, nous représentons une morale explicite sous forme d'ensembles de valeurs promues ou trahies lors d'une décision et nous caractérisons différentes notions comme causer ou prévenir du mal ou du bien, inspirées du travail du philosophe Samuel Rickless.

En savoir plus

Pierre Marquis nommé AAIA Fellow

7 oct. 2022 - 00:00

Pierre Marquis vient d’être nommé Asia-Pacific Artificial Intelligence Association (AAIA) Fellow. La liste des AAIA Fellows est disponible sur le site de l’association.

En savoir plus

Séminaire Aide à la co-conception de produits complexes en aéronautique

Anouck Chan - ONERA - Toulouse
6 oct. 2022 - 14:00

La création de produits complexes comme un avion ou un satellite, implique non seulement la conception du produit lui-même, mais aussi celle de son moyen de production (comme son usine, ou plus particulièrement sa ligne d'assemblage). Cette nécessité de double conception est motivée par deux facteurs : (1) Les choix de design du produit conditionnent le moyen de production. Par exemple, le choix du matériau du fuselage d'un avion peut impliquer l’utilisation de machines spécifiques.

En savoir plus

Séminaire Explainability of possibilistic and fuzzy rule-based systems

Ismail Baaj - CRIL
29 sept. 2022 - 14:00

Today, advances in Artificial Intelligence (AI) have led to the emergence of systems that can automate complex processes, using models that can be difficult to understand by humans. When humans use these AI systems, it is well known that they want to understand their behaviors and actions, as they have more confidence in systems that can explain their choices, assumptions and reasoning. The explanatory capability of AI systems has become a user requirement, especially in human-risk environments such as autonomous vehicles or medicine.

En savoir plus