CIKM 2013 : Mapping Adaptation Actions for the Automatic Reconciliation of Dynamic Ontologies27 octobre 2013J. C. Dos Reis, D. Dinh, C. Pruski, M. Da Silveira, C. Reynaud-Delaître
Cinq articles à IJCAI'1305 avril 2013L'équipe IASI a cinq articles acceptés à la prestigieuse conférence IJCAI.
Discovering Cross-language Links in Wikipedia through Semantic Relatedness12 juin 2012Antonio 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 Web01 janvier 2006By 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 privacy29 juin 2012Vincent 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 Management01 avril 2009N. Abdallah, F. Goasdoué, and M.-C. Rousset. Int. Joint Conf. on Artificial Intelligence (IJCAI).
Efficient Query Answering against Dynamic RDF Databases21 décembre 2012F. Goasdoué, I. Manolescu, and A. Roatiş. International Conference on Extending Database Technology.
Entity Discovery and Annotation in Tables07 janvier 2013G. Quercini and C. Reynaud. International Conference on Extending Database Technology
Glucose 2.1 SAT Solver won the SAT 2012 Challenge01 juillet 2012The 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 2013Glucose 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 Documents22 mai 2013F. Goasdoué, K. Karanasos, Y. Katsis, J. Leblay, I. Manolescu, S. Zampetakis. To appear in VLDBJ.
L2R: A Logical Method for Reference Reconciliation22 juillet 2007By Fatiha Saïs, Nathalie Pernelle, and Marie-Christine Rousset, AAAI'07.
Non-conservative Extension of a Peer in a P2P Inference System01 décembre 2009Nada Abdallah and François Goasdoué. AI Communications (AICOM), 2009.
On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies02 avril 2012Meghyn Bienvenu, in Twenty-Sixth Conference on Artificial Intelligence (AAAI)
Query Containment in Description Logics Reconsidered02 avril 2012Meghyn Bienvenu, Carsten Lutz, and Frank Wolter, in International Conference on Principles of Knowledge Representation and Reasoning (KR) 2012
Robust Module-based Data Management01 décembre 2011F. Goasdoue and M.-C. Rousset, IEEE Transactions on Knowledge and Data Engineering (TKDE), 2011.
SomeRDFS in the Semantic Web01 janvier 2007By 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 Databases18 août 2011F. Goasdoue, K. Karanasos, J. Leblay, and I. Manolescu, PVLDB, vol. 5, num. 2, 2011.