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 Stefan Mengel, Changing Partitions in Rectangle Decision Lists in 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), vol. 236, pp. 17:1--17:20, 2022.
2022 Adnan Darwiche, Pierre Marquis, On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract) in Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}, International Joint Conferences on Artificial Intelligence Organization, pp. 5718-5721, 2022.
2022 Frederic Koriche, Christophe Lecoutre, Anastasia Paparrizou, Hugues Wattez, Best Heuristic Identification for Constraint Satisfaction in 31st International Joint Conference on Artificial Intelligence (IJCAI'22), 2022.
2022 Andreas Herzig, Emiliano Lorini, Elise Perrotin-Boithias, A Computationally Grounded Logic of ‘Seeing-to-it-that’ in 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), IJCAI organization, pp. 2648-2654, 2022.
2022 Srdjan Vesic, Bruno Yun, Predrag Teovanovic, Graphical Representation Enhances Human Compliance with Principles for Graded Argumentation Semantics in AAMAS, 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 Mikaël Monet - INRIA Lille

Mikaël Monet - INRIA Lille
8 déc. 2022 - 14:00

To be announced.

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