Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Toutes les équipes > Intelligence Artificielle et Systèmes d'Inférence (IASI)
Equipes
Intelligence Artificielle et Systèmes d'Inférence (IASI)


Page non-maintenue

depuis le 30 septembre 2013
se référer à la nouvelle équipe
LaHDAK


The group Artificial Intelligence and Inference Systems focuses its work on the topic of information integration for several years. Its current activities are centered on the following themes:

- Knowledge and Data Integration
- Ontology-based Data and Document Management
- Efficient XML and RDF Data Management
- Reasoning over Distributed Systems

Composition de l'équipe
  Responsable
    

Activités de recherche
  Intelligence Artificielle
  Bases de données

Logiciels et brevets
  EdiFlow : EdiFlow: workflows intéractifs pour l'analyse de données
  BPEL2CPN : BPEL2CPN
  TARGET : Adaptative ontology-based Web search framework
  TEXAN : Un service d'extraction de données tabulaires
  POI-HELPER : Un service d'extraction de données issues de réseaux sociaux
  SHIRI-Querying : Semantic Search on Heterogeneous Semi-structured Documents
  SHIRI-Annot : Incremental Ontology-based Extraction and Alignment in Semi-Structured Documents

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

Thèses et habilitabions récentes
  Diagnostic distribué de systèmes respectant la confidentialité
  Approche hybrides pour la recherche sémantique de l'information: intégration des bases de connaissances et des ressources semi-structurées
  Knowledge Representation meets Databases for the sake of ontology-based data management

Séminaires
Modélisation, Interrogation et Composition d’Informations personnelles sensibles aux contextes
Rania Khefifi
Ven. 24 mai 2013 - 14h00


Ontologies pour la gestion des connaissances
Samira Si-said Cherfi
Ven. 19 avril 2013 - 14h00


Archivage du Web : modélisation, analyse et optimisation
Myriam Ben Saad
Ven. 05 avril 2013 - 14h00


Supporting Semantic Mappings Evolution between Biomedical KOS
Julio Cesar DOS REIS
Ven. 22 mars 2013 - 14h00


Linked Data
Gabriel Kepeklian
Ven. 15 mars 2013 - 14h00


KD2R:An automatic Key Discovery Approach for Data Linking
Danai Symeonidou
Ven. 08 février 2013 - 14h00


Web Social Sémantique et sérendipité
Milan Stankovic
Ven. 18 janvier 2013 - 14h00


Analysis of modular organisation of interaction networks based on asymptotic dynamics
Franck Delaplace
Ven. 23 novembre 2012 - 13h00


Seminar by Verena Kantere

Ven. 17 février 2012 - 14h00


Sofian Maabout: Computation of Borders and Applications
Sofian Maabout
Ven. 10 février 2012 - 14h00


Kostas Stefanidis: Contextual Database Preferences

Ven. 27 janvier 2012 - 14h00


Jorge Quiane: Managing Very Large Datasets in a Cloudy World

Mer. 25 janvier 2012 - 15h45


Xiao Bai: Toward distributed search

Ven. 20 janvier 2012 - 14h00


PhD defense of Marina Sahakyan
Marina Sahakyan
Jeu. 17 novembre 2011 - 14h00


Heuristic based Query Optimisation for SPARQL
Irini Fundulaki
Ven. 21 octobre 2011 - 14h00


Distributed RDF Query Processing and Reasoning in Peer-to-Peer Networks
Zoi Kaoudi
Ven. 07 octobre 2011 - 14h30


PhD defense of Nadjet Zemirline
Nadjet Zemirline
Mar. 12 juillet 2011 - 14h00


Seminar by Juliana Freire
Juliana Freire
Lun. 11 juillet 2011 - 13h45


PhD defense of Lina Ye
Lina Ye
Jeu. 07 juillet 2011 - 14h00


From problem decompositions to semantic interoperability: a journey between databases and artificial intelligence
Zoltan Miklos
Ven. 01 avril 2011 - 14h00


TLM - Transformation Lifecycle Management
Melanie Herschel
Lun. 28 mars 2011 - 14h00


Role of the Implicit Geographic Context in Geotagging News Articles
Gianluca Quercini
Ven. 25 mars 2011 - 14h00


A Database Approach to Programming Large-Scale Behavioral Simulations
Marcos Vaz Salles
Ven. 18 mars 2011 - 14h00


Data management with uncertainty
Matteo Magnani
Lun. 14 mars 2011 - 14h00


Large-Scale Data Integration Techniques for Knowledge about Words and Entities
Gerard de Melo
Lun. 07 mars 2011 - 11h00


PhD defense of Pierre Bourhis
Pierre Bourhis
Ven. 11 février 2011 - 14h00


SIGMOD 2010 Programming Contest
Hyunjung Park
Ven. 17 décembre 2010 - 14h00


PhD defense of Yingmin Li
Yingmin Li
Jeu. 09 décembre 2010 - 14h00


PhD defense of Mouhamadou Thiam
Mouhamadou Thiam
Jeu. 09 décembre 2010 - 14h00


Harvesting Knowledge from Web Data and Text
Fabian Suchanek
Ven. 26 novembre 2010 - 14h00


Efficient Query Answering in Peer Data Management Systems
Armin Roth
Mar. 13 juillet 2010 - 13h30


Ajax-based Report Pages as Incrementally Rendered Views
Yannis Papakonstantinou
Ven. 09 juillet 2010 - 14h00


Integration and analysis of data, from heterogeneous sources adapted to user profiles
Mostafa Ezziyyani
Lun. 05 juillet 2010 - 14h00


EdiFlow: data-intensive interactive workflows for visual analytics
Wael Khemiri
Ven. 28 mai 2010 - 14h00


De la compilation de bases de croyances stratifiées à l'inférence à partir de bases de croyances partiellement préordonnées
Safa Yahi
Ven. 16 avril 2010 - 14h15


Leo Seminar

Ven. 09 avril 2010 - 13h30


Leo Seminar
Dario Colazzo, The ViP2P team
Ven. 19 février 2010 - 14h00


YAGO & SOFIE: Automated Construction of a Large Ontology
Fabian Suchanek
Ven. 12 février 2010 - 14h00


Algebra-based cost optimization and execution for XPath
Vasilis Vassalos
Ven. 11 décembre 2009 - 14h00


Gemo Seminar
Sihem Amer-Yahia, Amélie Marian
Ven. 04 décembre 2009 - 14h00


Gemo Seminar
Veronique Ventos, Konstantinos Karanasos
Ven. 27 novembre 2009 - 14h00


Processing and Efficient Evaluation of Generalized Tree-Pattern Queries
Dimitri Theodoratos
Ven. 20 novembre 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


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


On corroboration and trust
Alban Galland
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


PhD defense of Fayçal Hamdi

Mar. 02 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
CIKM 2013 : Mapping Adaptation Actions for the Automatic Reconciliation of Dynamic Ontologies
27 octobre 2013
J. C. Dos Reis, D. Dinh, C. Pruski, M. Da Silveira, C. Reynaud-Delaître

Cinq articles à IJCAI'13
05 avril 2013
L'équipe IASI a cinq articles acceptés à la prestigieuse conférence IJCAI.

Discovering Cross-language Links in Wikipedia through Semantic Relatedness
12 juin 2012
Antonio Penta, Gianluca Quercini, Chantal Reynaud and Nigel Shadbolt, in European Conference on Artificial Intelligence (ECAI 2012)

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

Distributed tree decomposition with privacy
29 juin 2012
Vincent Armant, Laurent Simon and Philippe Dague in 18th International Conference on Principles and Practice of Constraint Programming

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

Efficient Query Answering against Dynamic RDF Databases
21 décembre 2012
F. Goasdoué, I. Manolescu, and A. Roatiş. International Conference on Extending Database Technology.

Entity Discovery and Annotation in Tables
07 janvier 2013
G. Quercini and C. Reynaud. International Conference on Extending Database Technology

Glucose 2.1 SAT Solver won the SAT 2012 Challenge
01 juillet 2012
The new version of the award winning SAT Solver Glucose (by G. Audemard, CRIL and L. Simon, IASI/LRI) won the SAT Challenge 2012 as the "Best Single-Engine Solver in the Application Track".

Glucose 2.3 meilleur SAT solver 2013 (Application, certifié UNSAT)
16 juillet 2013
Glucose 2.3 a remporté le premier prix à la compétition SAT 2013, catégorie Applications, UNSAT.

Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents
22 mai 2013
F. Goasdoué, K. Karanasos, Y. Katsis, J. Leblay, I. Manolescu, S. Zampetakis. To appear in VLDBJ.

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.

On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies
02 avril 2012
Meghyn Bienvenu, in Twenty-Sixth Conference on Artificial Intelligence (AAAI)

Query Containment in Description Logics Reconsidered
02 avril 2012
Meghyn Bienvenu, Carsten Lutz, and Frank Wolter, in International Conference on Principles of Knowledge Representation and Reasoning (KR) 2012

Robust Module-based Data Management
01 décembre 2011
F. Goasdoue and M.-C. Rousset, IEEE Transactions on Knowledge and Data Engineering (TKDE), 2011.

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.

View Selection in Semantic Web Databases
18 août 2011
F. Goasdoue, K. Karanasos, J. Leblay, and I. Manolescu, PVLDB, vol. 5, num. 2, 2011.

Logiciels et brevets