Français Anglais
Accueil Annuaire Plan du site
Home > Groups > Research groups > Artificial Intelligence and Inference Systems (IASI)
Groups
Artificial Intelligence and Inference Systems (IASI)


Page no more maintained

as of 30 September 2013
please refer to the new team
LaHDAK


The group Artificial Intelligence and Inference Systems focuses its work on the topic of information integration for several years. Its current activities of the IASI group 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

Group Members
  Group leader
    

Research activities
  Artificial Intelligence
  Databases

Software & patents
  EdiFlow: EdiFlow: interactive workflows for data analytics
  BPEL2CPN: BPEL2CPN
  TARGET: Adaptative ontology-based Web search framework
  TEXAN: A service to extract entities from tables
  POI-HELPER: An extraction service of data from social networking sites
  SHIRI-Querying: Semantic Search on Heterogeneous Semi-structured Documents
  SHIRI-Annot: ncremental Ontology-based Extraction and Alignment in Semi-Structured Documents

Collaborations
  Orange R&D Rennes - SWID project

Recent Ph.D. dissertations & faculty habilitations
  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

Seminars
Modélisation, Interrogation et Composition d’Informations personnelles sensibles aux contextes
Rania Khefifi
24 May 2013 14h00


Ontologies pour la gestion des connaissances
Samira Si-said Cherfi
19 April 2013 14h00


Archivage du Web : modélisation, analyse et optimisation
Myriam Ben Saad
5 April 2013 14h00


Supporting Semantic Mappings Evolution between Biomedical KOS
Julio Cesar DOS REIS
22 March 2013 14h00


Linked Data
Gabriel Kepeklian
15 March 2013 14h00


KD2R:An automatic Key Discovery Approach for Data Linking
Danai Symeonidou
8 February 2013 14h00


Web Social Sémantique et sérendipité
Milan Stankovic
18 January 2013 14h00


Analysis of modular organisation of interaction networks based on asymptotic dynamics
Franck Delaplace
23 November 2012 13h00


Seminar by Verena Kantere

17 February 2012 14h00


Sofian Maabout: Computation of Borders and Applications
Sofian Maabout
10 February 2012 14h00


Kostas Stefanidis: Contextual Database Preferences

27 January 2012 14h00


Jorge Quiane: Managing Very Large Datasets in a Cloudy World

25 January 2012 15h45


Xiao Bai: Toward distributed search

20 January 2012 14h00


PhD defense of Marina Sahakyan
Marina Sahakyan
17 November 2011 14h00


Heuristic based Query Optimisation for SPARQL
Irini Fundulaki
21 October 2011 14h00


Distributed RDF Query Processing and Reasoning in Peer-to-Peer Networks
Zoi Kaoudi
7 October 2011 14h30


PhD defense of Nadjet Zemirline
Nadjet Zemirline
12 July 2011 14h00


Seminar by Juliana Freire
Juliana Freire
11 July 2011 13h45


PhD defense of Lina Ye
Lina Ye
7 July 2011 14h00


From problem decompositions to semantic interoperability: a journey between databases and artificial intelligence
Zoltan Miklos
1 April 2011 14h00


TLM - Transformation Lifecycle Management
Melanie Herschel
28 March 2011 14h00


Role of the Implicit Geographic Context in Geotagging News Articles
Gianluca Quercini
25 March 2011 14h00


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


Data management with uncertainty
Matteo Magnani
14 March 2011 14h00


Large-Scale Data Integration Techniques for Knowledge about Words and Entities
Gerard de Melo
7 March 2011 11h00


PhD defense of Pierre Bourhis
Pierre Bourhis
11 February 2011 14h00


SIGMOD 2010 Programming Contest
Hyunjung Park
17 December 2010 14h00


PhD defense of Mouhamadou Thiam
Mouhamadou Thiam
9 December 2010 14h00


PhD defense of Yingmin Li
Yingmin Li
9 December 2010 14h00


Harvesting Knowledge from Web Data and Text
Fabian Suchanek
26 November 2010 14h00


Efficient Query Answering in Peer Data Management Systems
Armin Roth
13 July 2010 13h30


Ajax-based Report Pages as Incrementally Rendered Views
Yannis Papakonstantinou
9 July 2010 14h00


Integration and analysis of data, from heterogeneous sources adapted to user profiles
Mostafa Ezziyyani
5 July 2010 14h00


EdiFlow: data-intensive interactive workflows for visual analytics
Wael Khemiri
28 May 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
16 April 2010 14h15


Leo Seminar

9 April 2010 13h30


Leo Seminar
Dario Colazzo, The ViP2P team
19 February 2010 14h00


YAGO & SOFIE: Automated Construction of a Large Ontology
Fabian Suchanek
12 February 2010 14h00


Algebra-based cost optimization and execution for XPath
Vasilis Vassalos
11 December 2009 14h00


Gemo Seminar
Sihem Amer-Yahia, Amélie Marian
4 December 2009 14h00


Gemo Seminar
Veronique Ventos, Konstantinos Karanasos
27 November 2009 14h00


Processing and Efficient Evaluation of Generalized Tree-Pattern Queries
Dimitri Theodoratos
20 November 2009 14h00


Core Mappings: Schema Mapping Revolution
Paolo Papotti
3 November 2009 14h00


XQuery on the Cloud
Donald Kossmann
29 October 2009 14h00


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


Schema Mapping Verification: The Spicy Way
Angela Bonifati
23 June 2009 16h00


Satisfiability and Relevance for Queries over Active Documents
Pierre Bourhis
12 June 2009 14h00


Séminaire Gemo-IASI
Cédric Pruski, Spyros Zoupanos
3 April 2009 14h00


Ontology-Based Data Access and Data Integration
Diego Calvanese
25 February 2009 14h00


Alignment-based Partitioning of Large-scale Ontologies
Faycal Hamdi
6 February 2009 14h00


On corroboration and trust
Alban Galland
6 February 2009 14h00


Le problème SAT, ou comment devenir maître du monde
Laurent Simon
12 December 2008 14h00


Incompleteness in Information Integration
Evgeny Karlamov
12 December 2008 14h00


PhD defense of Fayçal Hamdi

2 December 2008 14h00


And Logic Begat Computer Science: When Giants Roamed the Earth
Moshe Y. Vardi
5 November 2008 14h00


Situational Business Intelligence
Volker Markl
25 September 2008 14h00


OptimAX: Optimizing Distributed ActiveXML Applications
Spyros Zoupanos
4 July 2008 14h00


Community Systems in P2P
Marilena Oita
4 July 2008 14h00


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


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


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


On the Foundations of Computing Deltas Between RDF Models
Vassilis Christophides
1 February 2008 14h00


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


Active documents: satisfiability of queries and view maintenance
Pierre Bourhis
11 January 2008 14h00


On the Foundations of Computing Deltas Between RDF Models
Vassilis Christophides
2 January 2008 14h00


Entity ranking in Wikipedia
Johan Pehcevski
19 October 2007 14h00


Résultats majeurs
Discovering Cross-language Links in Wikipedia through Semantic Relatedness
12 June 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
1 January 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 June 2012


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

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

Entity Discovery and Annotation in Tables
7 January 2013
International Conference on Extending Database Technology (EDBT/ICDT 2013 Joint Conference), March 18-22, 2013 - Genoa, Italy

Five papers accepted at IJCAI'13
5 April 2013
The IASI team will present five papers at the prestigious IJCAI conference.

Glucose 2.1 SAT Solver won the SAT 2012 Challenge
1 July 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 best SAT Solver 2013 (Applications, Certified UNSAT)
16 July 2013
Glucose 2.3 won the first price at the international SAT Competition, 2013, in the track Applications, UNSAT.

Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents
22 May 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 July 2007
By Fatiha Saïs, Nathalie Pernelle, and Marie-Christine Rousset, AAAI'07.

Mapping Adaptation Actions for the Automatic Reconciliation of Dynamic Ontologies
27 October 2013
J. C. Dos Reis, D. Dinh, C. Pruski, M. Da Silveira, C. Reynaud-Delaître

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

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

Query Containment in Description Logics Reconsidered
2 April 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
1 December 2011
F. Goasdoue and M.-C. Rousset, IEEE Transactions on Knowledge and Data Engineering (TKDE), 2011.

SomeRDFS in the Semantic Web
1 January 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 August 2011
F. Goasdoue, K. Karanasos, J. Leblay, and I. Manolescu, PVLDB, vol. 5, num. 2, 2011.

Software & patents