ANR AMANDE   2013-2017

Advanced Multilateral Argumentation for DEliberation

The AMANDE (Advanced Multilateral Argumentation for DEliberation) project aims at providing formal tools for designing multiparty deliberation systems. The main objective is to define and study the properties of such systems, so that designers can ensure that users and possibly interacting agents are able to identify key arguments in a deliberation process, and to fairly defend their view. While the technological tools are now available...

ANR ASPIQ (in french)   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...

AniAge   2016-2019

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

“Marie Skłodowska-Curie Actions RISE (Research and Innovation Staff Exchange)” project, H2020-MSCA-RISE-2015 call.

The project AniAge (High Dimensional Heterogeneous Data based Animation Techniques for Intangible Cultural Heritage Southeast Asian Digital Content) is a multidisciplinary project involving researchers in Artificial Intelligence and in computer animation. The project covers three main research topics: i) developing new digital animation...

Joint CNRS and FACEPE (Brazil) project   2017-2019

Reconciling Description Logic and Non-Monotonic Reasoning in the Legal Domain

This project seeks to align Description Logics with non-monotonic formalisms in general and with the so-called Default or Defeasible Logics in particular, so that one can model dynamic situations, exceptions and other non-monotonic aspects of reasoning, such as legal reasoning and legal services argumentation. In particular, we shall investigate the barriers Description Logics are faced with; for instance, handling exceptions...

PEPS JCJC INS2I CODA   2017

Compiling Provenance Data (CODA)

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

In this project, we will strengthen recently found links between databases and artificial intelligence, more specifically between query evaluation and knowledge compilation. The idea is that so-called provenance data that plays an important role in complex database queries can be transformed into representations that have been studied before by the artificial intelligence community. These representations...

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...

ANR BR4CP (in french)   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.

Voir en ligne :...

ANR COMSOC (in french)   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 (in french)   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 (in french)   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 (in french)   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 (in french)   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...

Contrat industriel avec Onyme (in french)   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...

Project LoRMAE   2013-2015

Logics for Reasoning about Multi-Agent Environments

Multi-agent environments are inhabited by various ‘autonomous agents’. These are are entities capable of acting autonomously, i.e., without external intervention, in order to meet their design objectives. Although single-agent environments have been studied for a long time, studies about multi-agent environments are relatively new. This kind of environment brings new issues to be dealt with, such as non-deterministic actions, competition and cooperation among agents....

Projet Pajero (in french)   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...