Français Anglais
Accueil Annuaire Plan du site
Accueil > Thèmes de recherche > Toutes les équipes > Intelligence Artificielle et Systèmes d'InfĂ©rence (IASI)
Présentation
Thèmes de recherche
Equipes
Projets associés
Thèmes
Collaborations
Production
Travailler au LRI
Formation
Informations pratiques
Equipe Intelligence Artificielle et Systèmes d'Inférence (IASI)


Depuis 2000, l’équipe IASI a focalisé ses travaux sur le problème de l’intégration d’informations distribuées et hétérogènes, devenu un enjeu crucial pour l’exploitation de l’immense gisement d’informations rendu accessible par le Web. Ceci s’est traduit par la création du projet Gemo commun entre le LRI et l’INRIA Saclay Ile de France, regroupant l’équipe IASI et le projet Verso de INRIA-Rocquencourt. Ce projet a pris fin en décembre 2009. Un nouveau projet, LEO, a debuté début janvier 2010 incluant par ailleurs quelques membres de l'équipe Bases de Données du LRI.

Composition de l'équipe
  Responsable
    REYNAUD Chantal

  Membres permanents
    ABITEBOUL Serge
    CHATALIC Philippe
    DAGUE Philippe
    GAGLIARDI HĂ©lène
    GOASDOUE François
    MANOLESCU-GOUJOT Ioana
    PERNELLE-MANSCOUR Nathalie
    REYNAUD Chantal
    SAĂŹS Fatiha
    SAFAR Brigitte
    SIMON Laurent
    VENTOS VĂ©ronique

  Membres non-permanents
    ABDALLAH Nada
    ARMANT Vincent
    BATTEUX Michel
    BOURHIS Pierre
    CALVIER François-Elie
    GALLAND Alban
    HAMDI Fayçal
    HU He-Xuan
    KARANASOS Konstantinos
    KATSIFODIMOS Asterios
    LALLALI Mounir
    LI Yingmin
    MRABET Yassine
    NASRI Othman
    NGUYEN Huu Nghia
    YE Lina
    ZEMIRLINE Nadjet
    ZOUPANOS Spyros

Thèmes de recherche
  Intelligence Artificielle
  Bases de donnĂ©es
  ReprĂ©sentation des connaissances
  IntĂ©gration d'informations
  DĂ©monstration automatique
  Diagnostic
  SAT
  IngĂ©nierie des connaissances
  QBF
  Compilation de bases de connaissances
  Web sĂ©mantique
  Ontologies

Projet(s) associé(s)
  GEMO

Contrats en cours
  PICSEL 3
  MEDIAD
  DIAFORE
  WS-DIAMOND
  SHIRI
  GEONTO
  ACI Masses de DonnĂ©es TRALALA
  SIRASAS
  Web-Content
  WEBSTAND
  DOCFLOW
  E DOT
  EDOS
  MDP2P
  ACI NPP
  CODEX
  HEDI
  UNLOC
  EDIFLOW
  DATARING

Logiciels et brevets
  Calcul de consĂ©quences en pair-Ă -pair
  Moteur de rĂ©Ă©criture de requĂŞtes en termes de vues pour la mise en oeuvre de mĂ©diateurs
  Un outil d'alignement de taxonomies
  Une mĂ©thode Logique et une mĂ©thode NumĂ©rique pour la RĂ©conciliation de RĂ©fĂ©rences
  Outil d'annotation sĂ©mantique de tableaux guidĂ©e par une ontologie
  SpĂ©cification dĂ©clarative d'applications Web
  Optimiseur algĂ©brique pour Active XML
  Gestionnaire de vues XML
  Système d'indexation et d'interrogation XML en P2P
  Un système pour le stockage de contenus
  Calcul paraconsistant de consĂ©quents en mode pair Ă  pair
  GUNSAT, a greedy local search algorithm for unsatisfiability

Collaborations
  France TĂ©lĂ©com R&D Rennes - Projet SWID

Thèses et habilitabions récentes
  Techniques d'optimisation pour l'interrogation de donnĂ©es XML
  MARINOIOU.01-01-2006
  PRUSKI.04-11-2005
Séminaires
Algebra-based cost optimization and execution for XPath
Vasilis Vassalos
Ven 11 décembre 2009 - 14h00

Core Mappings: Schema Mapping Revolution
Paolo Papotti
Mar 03 novembre 2009 - 14h00

XQuery on the Cloud
Donald Kossmann
Jeu 29 octobre 2009 - 14h00

Do-It-Yourself Custom Database-Driven Web Applications
Yannis Papakonstantinou
Ven 16 octobre 2009 - 14h00

Schema Mapping Verification: The Spicy Way
Angela Bonifati
Mar 23 juin 2009 - 16h00

Satisfiability and Relevance for Queries over Active Documents
Pierre Bourhis
Ven 12 juin 2009 - 14h00

SĂ©minaire Gemo-IASI
CĂ©dric Pruski, Spyros Zoupanos
Ven 03 avril 2009 - 14h00

Ontology-Based Data Access and Data Integration
Diego Calvanese
Mer 25 février 2009 - 14h00

On corroboration and trust
Alban Galland
Ven 06 février 2009 - 14h00

Alignment-based Partitioning of Large-scale Ontologies
Faycal Hamdi
Ven 06 février 2009 - 14h00

Le problème SAT, ou comment devenir maître du monde
Laurent Simon
Ven 12 décembre 2008 - 14h00

Incompleteness in Information Integration
Evgeny Karlamov
Ven 12 décembre 2008 - 14h00

And Logic Begat Computer Science: When Giants Roamed the Earth
Moshe Y. Vardi
Mer 05 novembre 2008 - 14h00

Situational Business Intelligence
Volker Markl
Jeu 25 septembre 2008 - 14h00

OptimAX: Optimizing Distributed ActiveXML Applications
Spyros Zoupanos
Ven 04 juillet 2008 - 14h00

Community Systems in P2P
Marilena Oita
Ven 04 juillet 2008 - 14h00

Source-centric temporal model for information modelling in social sciences
Benjamin Nguyen
Ven 16 mai 2008 - 14h00

Modular construction of finite and complete prefixes of Petri net unfoldings
Agnès Madalinski
Ven 28 mars 2008 - 14h00

Personnalisation de la navigation via l'apprentissage de profils utilisateurs
Yassine Mrabet
Ven 28 mars 2008 - 14h00

On the Foundations of Computing Deltas Between RDF Models
Vassilis Christophides
Ven 01 février 2008 - 14h00

Consequence Finding in propositional Peer-to-Peer Inference Systems Revisited
Nada Abdallah
Ven 11 janvier 2008 - 14h10

Active documents: satisfiability of queries and view maintenance
Pierre Bourhis
Ven 11 janvier 2008 - 14h00

On the Foundations of Computing Deltas Between RDF Models
Vassilis Christophides
Mer 02 janvier 2008 - 14h00

Entity ranking in Wikipedia
Johan Pehcevski
Ven 19 octobre 2007 - 14h00
Résultats majeurs
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
01 janvier 2006
By Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset and Laurent Simon. Journal of Artificial Intelligence Research, Vol. 25, pages 269-314, 2

DL-liteR in the Light of Propositional Logic for Decentralized Data Management
01 avril 2009
N. Abdallah, F. Goasdoué, and M.-C. Rousset. Int. Joint Conf. on Artificial Intelligence (IJCAI).

L2R: A Logical Method for Reference Reconciliation
22 juillet 2007
By Fatiha SaĂŻs, Nathalie Pernelle, and Marie-Christine Rousset, AAAI'07.

Non-conservative Extension of a Peer in a P2P Inference System
01 décembre 2009
Nada Abdallah and François Goasdoué. AI Communications (AICOM), 2009.

SomeRDFS in the Semantic Web
01 janvier 2007
By Philippe Adjiman, François Goasdoué, and Marie-Christine Rousset. Journal on Data Semantics, No 8, pages 158-181, Springer Journal (LNCS 4380), 2007.
Logiciels et brevets