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)
Séminaire
Srdjan Vesic (CRIL, CNRS - Université d’Artois)
In this paper, we place ourselves in the Ontology Based Data Access (OBDA) setting and investigate reasoning with inconsistent existential rules knowledge bases. We use the notion of inconsistency measures on sets of facts to rank and filter repairs. We propose a generic framework to answer queries by using the best repairs and study productivity and properties of such a framework.
Postes IGR et chercheur en CDD à pourvoir
Dans le cadre du CPER DATA, le CRIL recrute un poste temporaire d’ingénieur de recherche et un poste de chercheur en CDD. Les fiches de postes sont visibles sur emploi.cnrs.fr
Poste temporaire d’ingénieur de recherche
Chercheur en CDD
Séminaire Collective Singleton-based Consistency for Qualitative Constraint Networks: Theory and Practice
Michael Sioutis (Örebro University)
Partial singleton weak path-consistency is essential for tackling challenging fundamental reasoning problems
associated with qualitative constraints networks. Briefly put, partial singleton weak path-consistency
ensures that each base relation of each of the constraints of a qualitative constraint network can define a
singleton relation in its corresponding partially weakly path-consistent subnetwork. In this talk, we propose
a stronger local consistency that couples partial singleton weak path-consistency with the idea of collectively
deleting certain unfeasible base relations by exploiting singleton checks. We then propose an algorithm for
enforcing this new consistency and a lazy variant of that algorithm for approximating the new consistency, both of which outperform the respective algorithm for enforcing partial singleton weak path-consistency in a given qualitative constraint network . With respect to the lazy algorithmic variant in particular, we show that it runs up to 5 times faster than our original exhaustive algorithm whilst exhibiting very similar pruning capability.
We formally prove certain properties of our new local consistency and our algorithms, and motivate their usefulness through demonstrative examples and a thorough experimental evaluation with random qualitative constraint networks of the Interval Algebra and the Region Connection Calculus from the phase transition region of two different generation models. Finally, we provide evidence of the crucial role of the new consistency in tackling the minimal labeling problem of a qualitative constraint network, which is the problem of finding the strongest implied constraints of that network.
Daniel Le Berre reçoit la médaille de l'innovation du CNRS
Daniel Le Berre a reçu le mercredi 10 octobre 2018 la médaille de l’innovation du CNRS des mains de la ministre de l’enseignement supérieur, de la recherche et de l’innovation Frédérique Vidal et du PDG du CNRS Antoine Petit, pour le développement du logiciel libre Sat4j et son intégration dans la plateforme Eclipse.
La médaille de l’innovation honore une recherche exceptionnelle sur le plan technologique, thérapeutique, économique ou sociétal.
Les deux autres lauréats de cette médaille cette année sont Valérie Castellani et Thierry Chartier.
Communiqué de presse du CNRS
Portrait de Daniel Le Berre sur le site du CNRS
Présentation des travaux de Daniel Le Berre sur le site de l’INS2I
Présentation des trois lauréats 2018 dans CNRS le journal
Discours de Frédérique Vidal lors de la cérémonie
Ils en parlent :
L’université d’Artois
OW2
Sciences et Avenir
La voix du nord