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 qui regroupe plus de cinquante membres : chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques.
Recherches en intelligence artificielle et applications
Actualités (RSS)
Ivan Varzinczak reçoit le prix de logique Louis Couturat
Ivan Varzinczak recevra le prix de la logique Louis Couturat lors de la prochaine
édition de la conférence UNILOG’18 le 24 juin, pour son article
“A note on a description logic of concept and role typicality”.
Séminaire Liens entre fusion propositionnelle et agrégation de jugements
Patricia Everaere (Université de Lille)
La fusion propositionnelle et l’agrégation de jugements sont deux cadres assez proches en apparence: ils permettent d’agréger des éléments issus de différents agents. Nous avons cherché si ces cadres pouvaient être unifiés, et comment. Un autre axe de recherche est de savoir si les propriétés considérées dans une théorie ont du sens dans l’autre théorie.
Recrutement CDD d’ingénieur de recherche en Intelligence Artificielle au CRIL (Lens) - 1 an
A partir de Septembre 2018
Poste. Ingénieur de recherche (12 mois, à débuter en Septembre/Octobre 2018). Ce poste est susceptible
d’être reconductible. Cette offre s’inscrit dans le cadre du projet CPER (Contrat de Plan
Etat-Region 2015-2020) Data de la région “Hauts-de-France”. Le programme scientifique du CPER
Data est articulé en trois axes principaux : (i) Internet des objets ; (ii) Intelligence des données et des
connaissances ; (iii) Calcul haute-performance et optimisation. Le CRIL participe au projet DATA
en apportant sa contribution aux actions ”Intelligence des donn´ees et des connaissances” et ”Calcul
haute-performance et optimisation” directement liées à ses domaines de compétence. Le candidat sera
donc intégré au(x) groupe(s) de travail du CRIL travaillant sur ce projet afin de participer à l’effort actuel
de recherche, d´eveloppement et valorisation sur les th´ematiques de compilation de connaissances,
fouille de données, apprentissage et résolution de problèmes combinatoires sous contraintes.
Laboratoire. Le CRIL (Centre de Recherche en Informatique de Lens) est un laboratoire situ´e à
Lens affilié à l’université d’artois et au CNRS (UMR 8188). Les activités de recherche du CRIL sont
centrées sur l’intelligence artificielle symbolique et ses applications. Les principaux thèmes étudiés
sont :
— Représentation des connaissances et raisonnements
— Algorithmes pour l’inférence et contraintes
Candidature. Tout candidat doit disposer d’un doctorat ou un diplôme d’ingénieur. Une connaissance
approfondie en C++ et/ou Java est exigée. Une bonne connaissance de Unix/Linux ainsi que des
algorithmes d’intelligence artificielle sera appréciée.
Tout candidat doit envoyer dans un fichier archive (type zip ou tgz) un CV, une copie de ses
diplômes universitaires, et une lettre de motivation par email à lecoutre@cril.fr avec le sujet
suivant : “Candidature IGR Data”. Les candidats préselectionnés seront convoqués à un entretien au
laboratoire ou par visio-conférence.
Papiers acceptés à IJCAI'18
Cette année, ce seront 7 papiers du CRIL qui seront présentés à IJCAI 2018.
Six papiers seront présentés dans la conférence générale :
Inconsistency Measures for Repair Semantics in OBDA, Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert
Boosting MCSes Enumeration, Éric Grégoire, Yacine Izza, Jean-Marie Lagniez
Pseudo-Boolean Constraints from a Knowledge Representation Perspective, Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
DMC: A Distributed Model Counter, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
Learning Conceptual Space Representations of Interrelated Concepts, Zied Bouraoui, Steven Schockaert
Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets, Helene Verhaeghe, Christophe Lecoutre, Pierre Schaus
L’article intitullé “Artificial Intelligence Conferences Closeness” par Sébastien Konieczny et Emmanuel Lonca sera présenté dans le cadre de la thématique sur les contours de l’IA.