ANR AMANDE   2013-2017

Advanced Multilateral Argumentation for DEliberation

L’ANR AMANDE (Advanced Multilateral Argumentation for DEliberation) a pour objectif de fournir des outils formels pour la conception de systèmes de délibération multi-agents. Le but principal est de définir et d’étudier les propriétés de tels systèmes, afin que leurs concepteurs puissent assurer que les utilisateurs aient la possibilités d’identifier les arguments clés d’un processus de délibération, et de défendre équitablement leur point de vue. Alors...

ANR ASPIQ   2012-2017

Techniques ASP pour l’interrogation d’informations web hétérogènes multisources à grande échelle.

Projet impliquant les laboratoires CRIL, LERIA (Angers), LIRMM (Montpellier) et LSIS (Marseille).

L’objectif du projet est de proposer des méthodes formelles pour l’interrogation d’informations hétérogènes multi-sources à grande échelle. Le projet consiste en particulier à proposer des ex- tensions de l’ASP standard pour représenter des sous-langages traitables d’OWL2 et à étudier de nouvelles opérations de fusion d’informations représentées par...

ANR SATAS   2016-2018

SAT as a Service

Project involving the laboratories CRIL, CRIStAL (Lille), INRA (Toulouse) and LaBri (Bordeaux, principal investigator).

The SATAS project is an ambitious project, which aims to advance the state of the art in massively parallel SAT solving with a particular eye to the applications driving progress in the field. The final goal of the project is to be able to provide a “pay as you go” interface to...

Collaboration CRIL – RATP   2016-2017

Collaboration CRIL – RATP

La RATP assure l’exploitation d’une partie des transports en commun de Paris et de sa proche banlieue. Dans le cadre de son activité, l’atelier de qualification logicielle (AQL) de la RATP utilise, entre autres techniques, la preuve formelle pour l’évaluation des systèmes de sécurité ferroviaire et notamment leur partie logicielle. La preuve formelle permet d’explorer l’exhaustivité des comportements d’un système et, ainsi, d’améliorer significativement le niveau...

H2020-MSCA-RISE-2015 AniAge   2016-2019

High Dimensional Heterogeneous Data based Animation Techniques for Southeast Asian Intangible Cultural Heritage Digital Content.

Projet de type Marie Skłodowska-Curie Actions RISE (Research and Innovation Staff Exchange) dans le cadre de l’appel H2020-MSCA-RISE-2015.

Le projet AniAge (High Dimensional Heterogeneous Data based Animation Techniques for Southeast Asian Intangible Cultural Heritage Digital Content) est un projet pluridisciplinaire qui implique des chercheurs en Intelligence Artificielle et des chercheur en animation par ordinateur....

PEPS JCJC INS2I CODA   2017

Compiling Provenance Data (CODA)

PEPS JCJC INS2I 2017 impliquant le CRIL et CRIStAL UMR 9189.

Dans ce projet, nous nous efforcerons de renforcer les liens existants entre les domaines de bases de données et l’intelligence artificielle, plus spécifiquement entre les problèmes d’évaluation de requêtes et de compilation de connaissance. L’idée principale de ce projet est de remarquer que la structure expliquant l’impact des données présente pour répondre à une requête,...

PEPS JCJC INS2I DISCO   2017

DIStributed COmpilation (DISCO)

Le projet DISCO porte sur la compilation distribuée de connaissances. La compilation de connaissances vise à améliorer l’efficacité de la résolution de divers problèmes calculatoirement difficiles en réalisant un pré- traitement d’une partie des informations disponibles et en exploitant ensuite les représentations compilées calculées lors du pré-traitement. L’objectif du projet DISCO est d’étudier comment le parallélisme peut être exploité pour améliorer l’efficacité de la phase de compilation...

Projet PHC Barrande France / République Tchèque KC4CP   2017-2018

Knowledge compilation for constraint programming

The principal aim of this joint project is to use the complementary strengths of both research teams to derive new results in the research area which lies on the borderline of knowledge compilation, SAT encoding and solving, and constraint programming. In this project, the focus will be laid on the CNF format, which is the main input format for existing solvers and compilers. Our objective...

Projet PHC UTIQUE 2016 RESCUESYS   2016-2017

Etude et développement d'un système spatio-temporel de gestion de secours médicaux d'urgence

Une situation d’exception ou une catastrophe est définie comme étant une grave perturbation d’une société, causant des pertes en vies humaines et en biens au point que la société sinistrée ne peut y faire face en recourant à ses seules ressources disponibles. Les catastrophes engendrent un nombre important de victimes de gravité variable. Face à de telles situations,...

QDoSSI - CNRS, Défi Mastodons   2016-2017

Qualité des Données multi-Sources, un double défi pour les sciences Sociales et les sciences de l’Informatique

Ce projet questionne la qualité des données dont les modes d’acquisition sont variés et présentent différentes imperfections. Cette étude s’efforcera de développer des prétraitements, des réparations et des extractions de connaissances afin de mieux les analyser et les valoriser pour la prise de décision. Les données utilisées traitent des migrations internationales. Par la création...

ANR BR4CP   2012-2015

Business Recommendation for Configurable Products.

Projet impliquant les laboratoires : CRIL (Lens), IRIT (Toulouse), LIRMM (Montpellier) et les industriels Cameleon Software, IBM et Renault. L’objectif du projet est de proposer aux applications de configuration en ligne des modèles formels et des outils algorithmiques pour la prise en compte des préférences des clients et la mise en œuvre de recommandations sur des domaines structurés et fortement combinatoires.

Le projet BR4CP est...

ANR COMSOC   2010-2013

Projet interdisciplinaire informatique-économie, impliquant les laboratoires CREME (Caen), CRIL, LAMSADE (Paris IX) et PREG (Polytechnique). 2010-2013. MSOC est une ANR pluri-disciplinaire rassemblant des chercheurs en informatique et en économie, autour de la question du choix social computationel. L’idée est de regarder les problèmes du choix social (en particulier les méthodes de votes) sous l’angle « computationel », c’est-à-dire en se posant des questions de représentation, de complexité algorithmique, etc. Par...

ANR DAG   2009-2013

Approches déclaratives pour l’énumération de motifs intéressants.

Ce projet a pour objet la fertilisation croisée entre trois domaines de recherche : l’intelligence artificielle, l’algorithmique combinatoire et la fouille de données. Dans ce contexte, un des objectifs est de définir des langages déclaratifs de haut niveau (logiques ou algébriques) pour exprimer et représenter les problèmes d’énumération de motifs intéressants. Ce projet multi-disciplinaire regroupant le CRIL, le LIRIS et le LIMOS a...

ANR PHAC   2005-2009

Représentation, élicitation et agrégation de préférences sur des domaines combinatoires : nouvelles méthodes et applications.

Projet impliquant les laboratoires CRIL, ILOG (Valbonne), IRIT (Toulouse), LAMSADE (Paris IX), LIP6 (Paris VI) et ONERA-CERT (Toulouse). 2005-2009. Le projet PHAC fut centré sur la représentation et l’exploitation des préférences ; plus spécifiquement, il s’est focalisé vers l’évaluation des langages de représentation de préférences, l’élicitation des préférences, l’agrégation de préférences et le choix social,...

ANR PLACID   2007-2010

Probabilistic graphical models and description logics for alarm correlation in intrusion detection.

Ce projet se situe dans le cadre de la détection d’intrusion. Il consiste à fournir aux sondes la capacité de décrire les événements observés et être en capacité de raisonner sur les alertes (corrélation), tout en prenant en compte les éléments d’incertitude. En particulier, le projet a étudié de nouveaux modèles formels de la corrélation d’alertes basés sur...

ANR TUPLES   2010-2015

Polynomialité pour la compréhension et l’extension des limites des solveurs performants.

Les partenaires de ce projet sont l’IRIT, le LSIS, le Greyc et le CRIL. Le projet TUPLES est centré sur la résolution effective de problèmes NP-Complets, en particulier relevant de l’intelligence artificielle. L’objectif principal est de repousser de façon significative les limites actuellement observées au niveau de l’efficacité des solveurs de problèmes combinatoires, tout en établissant en même temps...

ANR UNLOC   2009-2011

Méthodes de recherche locales pour l’insatisfaisabilité

En partenariat avec les laboratoires MIS (Amiens), LRI (Paris Sud) et LSIS (Marseille), cette ANR a permis de proposer de nouvelles méthodes incomplètes pour l’insatisfaisabilité. De nombreux résultats ont été obtenus au cours de cette ANR : méthodes incomplètes, méthodes hybrides, résolution étendue ou encore certains résultats autour du démonstrateur GLUCOSE.

Aviesan   2016-2016

Objets Connectes Intelligents et Personnalises dans le domaine de la Nutrition (OCIP-Nut)

Projet impliquant le CRIL et le LIMICS (INSERM, UMRS 1142).

Le but de ce projet est de réaliser des études et des recherches préliminaires dans le but d’identifier les verrous scientifiques et cibler des pistes réalisables et à fortes retombées concernant les objets connectés intelligents dans le domaine de la nutrition. Pour ce faire, il est nécessaire d’explorer...

Contrat industriel avec Onyme   2009-2012

Il s’agit d’un contrat d’accompagnement de la thèse CIFRE de Benoît Trouvilliez auprès de la société Onyme. Ce contrat concerne l’utilisation de similarités de données textuelles pour la fouille d’opinions et la recherche de produits. En particulier, Benoît Trouvilliez a développé une chaîne de traitements, incluant divers algorithmes de TALN et d’apprentissage (supervisé et non supervisé) pour l’analyse d’opinions à partir de textes courts. Le contrat se déroula en deux...

In Ludo Securitas   2013-2014

sécurité des jeux en ligne

Projet émergent région NPdC. L’objectif majeur du projet In Ludo Securitas (I.L.S.) est de fournir une approche automatique permettant de détecter des actes de tricherie dans le jeu en ligne mais également des comportements addictifs. Pour cela, il est absolument nécessaire de créer des outils permettant de modéliser le comportement normal d’un joueur en fonction de son niveau et de sa façon de jouer. Il...

Jeu sérieux Metro   2013-2014

Lauréat de l’appel à projet « expériences interactives » en collaboration avec la société lensoise Audace. Le but de cette collaboration est de proposer à l’utilisateur, dans le cadre d’un jeu sérieux basé sur la métrologie, des problèmes qui s’adaptent à lui, en vue d’un comportement non déterministe de l’application, mais également pour que le jeu s’« attaque » aux faiblesses du joueur et le fasse ainsi progresser.

Karma   2012-2013

Le projet « Karma » est un projet de collaboration avec la société Netice, société basée à Villeneuve d’Ascq spécialisée dans les e-Porte-folio et l’usage des technolo- gies numériques pour l’emploi et la formation. Il a été amorcé par OSEO via une Prestation Technologique Réseau (PTR) et a vocation à se prolonger. Le but de ce projet est d’offrir aux formateurs et apprenants d’une FOAD (Formation Ouverte À Distance)...

PEPS INS2I EPIAGE   2016-2016

Evolution des politiques de contrôle d’accès et gestion d’actions interférentes

PEPS INS2I 2016 Sécurité Informatique et des Systèmes Cyber-physiques impliquant le CRIL et le LORIA CNRS UMR 7503.

le contexte général de ce projet est la gestion des politiques de sécurité et leur mise en œuvre. L’observation initiale est que, dans les modèles de contrôles d’accès existants, les politiques de sécurité sont définies en termes d’actions élémentaires indépendantes du système...

Pajero   2011-2015

Le projet Pajero regroupe des partenaires industriels (Horizontal Software, EQUITIME, CAPS) et académiques (CRIL, I3S, PRISM) et a pour objectif de mettre en œuvre une solution de gestion de ressources multiples capable de gérer des problèmes de grande taille en utilisant des techniques innovantes de programmation par contraintes et le parallélisme, en particulier dans le cloud. La responsabilité scientifique du projet incombe au CRIL. Ce projet d’une durée de 4...

Projet LoRMAE   2013-2015

Logics for Reasoning about Multi-Agent Environments.

Les environnements multi-agents sont habités par divers “agents autonomes”. Ces agents sont capables d’agir de manière autonome, c’est à dire sans intervention externe, pour atteindre leurs objectifs. Bien que l’environnement mono-agent a été étudié depuis longtemps, les études sur les environnements multi-agents sont plutôt récentes. Ce type d’environnements apporte de nouveaux challenges, tels que la prise en compte d’actions non déterministes, la compétition et...