| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Marie-Christine Rousset 38 Marie-Christine Rousset, Chantal Reynaud : PICSEL and Xyleme: Two Illustrative Information Integration Agents. AgentLink 2003 : 50-78 37 Claude Delobel , Chantal Reynaud , Marie-Christine Rousset, Jean-Pierre Sirot , Dan Vodislav : Semantic integration in Xyleme: a uniform tree-based approach. DKE 44 (3): 267-298 (2003) 36 François Goasdoué , Marie-Christine Rousset: Compilation and Approximation of Conjunctive Queries by Concept Descriptions. Description Logics 2002 35 Alexandre Termier , Marie-Christine Rousset, Michèle Sebag : TreeFinder: a First Step towards XML Data Mining. ICDM 2002 : 450-457 34 Marie-Christine Rousset: Knowledge Representation for Information Integration. ISMIS 2002 : 1-3 33 François Goasdoué , Marie-Christine Rousset: Compilation and Approximation of Conjunctive Queries by Concept Descriptions. KRDB 2002 32 Alexander Borgida , Diego Calvanese , Laurence Cholvy , Marie-Christine Rousset: Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse France, April 21, 2002. KRDB 2002 31 Serge Abiteboul , Sophie Cluet , Guy Ferran , Marie-Christine Rousset: The Xyleme project. Computer Networks 39 (3): 225-238 (2002) 30 Nathalie Pernelle , Marie-Christine Rousset, Véronique Ventos : Automatic Construction and Refinement of a Class Hierarchy over Multi-valued Data. PKDD 2001 : 386-398 29 Nathalie Pernelle , Marie-Christine Rousset, Véronique Ventos : Automatic Construction and Refinement of a Class Hierarchy over Semi-Structured Data. Workshop on Ontology Learning 2001 28 Dieter Fensel , Franz Baader , Marie-Christine Rousset, Holger Wache : Heterogeneous information resources need semantic access. DKE 36 (3): 211-213 (2001) 27 François Goasdoué , Marie-Christine Rousset: Rewriting Conjunctive Queries using Views in Description Logics with Existential Restrictions. Description Logics 2000 : 113-122 26 Dieter Fensel , Craig A. Knoblock , Nicholas Kushmerick , Marie-Christine Rousset: Workshop on Intelligent Information Integration (III-99). AI Magazine 21 (1): 91-94 (2000) 25 François Goasdoué , Véronique Lattès , Marie-Christine Rousset: The Use of CARIN Language and Algorithms for Information Integration: The PICSEL System. IJCIS 9 (4): 383-401 (2000) 24 Marie-Christine Rousset: Backward Reasoning in Aboxes for Query Answering. KRDB 1999 : 50-54 23 Peter F. Patel-Schneider , Marie-Christine Rousset: Editorial: Special Issue on Description Logics. Journal of Logic and Computation 9 (3): 265-266 (1999) 22 Quentin Elhaik , Marie-Christine Rousset, Bernard Ycart : Generating Random Benchmarks for Description Logics. Description Logics 1998 21 Quentin Elhaik , Marie-Christine Rousset: Making an ABox Persistent. Description Logics 1998 20 Alon Y. Levy , Marie-Christine Rousset: Verification of Knowledge Bases Based on Containment Checking. Artificial Intelligence 101 (1-2): 227-250 (1998) 19 Alon Y. Levy , Marie-Christine Rousset: Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence 104 (1-2): 165-209 (1998) 18 Dieter Fensel , Marie-Christine Rousset, Stefan Decker : Workshop on Comparing Description and Frame Logics. DKE 25 (3): 347-352 (1998) 17 Fatma Bouali , Stéphane Loiseau , Marie-Christine Rousset: Revision of Rule Bases. EUROVAV 1997 : 193-203 16 Alon Y. Levy , Marie-Christine Rousset: Verification of Knowledge Bases: a Unifying Logical View. EUROVAV 1997 : 7-18 15 Marie-Christine Rousset: Verifying the World Wide Web: a Position Statement. EUROVAV 1997 : 95-103 14 Catriel Beeri , Alon Y. Levy , Marie-Christine Rousset: Rewriting Queries Using Views in Description Logics. PODS 1997 : 99-108 13 Alon Y. Levy , Marie-Christine Rousset: The Limits on Combining Recursive Horn Rules with Description Logics. AAAI/IAAI, Vol. 1 1996 : 577-584 12 Alon Y. Levy , Marie-Christine Rousset: Verification of Knowledge Bases Based on Containment Checking. AAAI/IAAI, Vol. 1 1996 : 585-591 11 Alon Y. Levy , Marie-Christine Rousset: CARIN: A Representation Language Combining Horn Rules and Description Logics. ECAI 1996 : 323-327 10 Marie-Christine Rousset, P. Hors : Modeling and Verifying Complex Objects: A Declarative Approach Based on Description Logics. ECAI 1996 : 328-334 9 Fatma Bouali , Stéphane Loiseau , Marie-Christine Rousset: Merging Test and Verification for Rule Base Debugging. ICTAI 1996 : 166-169 8 Alon Y. Levy , Marie-Christine Rousset: Using Description Logics to Model and Reason About Views. KRDB 1996 7 Marc Ayel , Marie-Christine Rousset: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, June 1995. ADERIAS-LIA, Universite de Savoie 1995 6 Alon Y. Levy , Marie-Christine Rousset: Combining Rules and Description Logics: An Overview of CARIN. ILPS 1995 : 635 5 Marie-Christine Rousset: Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical Formalisms. ECAI 1994 : 739-743 4 Pascale Hors , Marie-Christine Rousset: Consistency of Structured Knowledge: A Formal Framework Based on Description Logics. EUROVAV 1993 : 231-245 3 Marie-Christine Rousset: On the Consistency of Knowledge Bases: The COVADIS System. ECAI 1988 : 79-84 2 Marie-Christine Rousset: On the consistency of knowledge bases: the COVADIS system. Computational Intelligence 4 : 166-170 (1988) 1 Marie-Christine Rousset, Brigitte Safar : Negative and positive explanations in expert. Applied Artificial Intelligence 1 (1): 25-38 (1987)  DiSC'03 © 2003 Association for Computing Machinery |
