


default search action
Marie-Christine Rousset
Person information
- affiliation: Université de Grenoble-Alpes
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j30]Tristan Allard, Hira Asghar, Gildas Avoine, Christophe Bobineau, Pierre Cauchois, Elisa Fromont, Anna Monreale, Francesca Naretto, Roberto Pellungrini, Francesca Pratesi, Marie-Christine Rousset, Antonin Voyez:
Analyzing and explaining privacy risks on time series data: ongoing work and challenges. SIGKDD Explor. 26(1): 49-58 (2024) - 2023
- [c80]Romain Xu-Darme
, Jenny Benois-Pineau
, Romain Giot
, Georges Quénot
, Zakaria Chihani
, Marie-Christine Rousset
, Alexey Zhukov
:
On the stability, correctness and plausibility of visual explanation methods based on feature importance. CBMI 2023: 119-125 - [c79]Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset:
Sanity checks for patch visualisation in prototype-based image classification. CVPR Workshops 2023: 3691-3696 - [c78]Hira Asghar, Christophe Bobineau, Marie-Christine Rousset:
Explanation-Based Tool for Helping Data Producers to Reduce Privacy Risks. ESWC (Satellite Events) 2023: 86-90 - [i6]Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset:
Sanity checks and improvements for patch visualisation in prototype-based image classification. CoRR abs/2302.08508 (2023) - [i5]Romain Xu-Darme, Jenny Benois-Pineau, Romain Giot, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset, Alexey Zhukov:
On the stability, correctness and plausibility of visual explanation methods based on feature importance. CoRR abs/2311.12860 (2023) - [i4]Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset:
Sanity checks for patch visualisation in prototype-based image classification. CoRR abs/2311.16120 (2023) - 2022
- [c77]Adam Sanchez-Ayte, Fabrice Jouanot, Marie-Christine Rousset:
CONSTRUCT Queries Performance on a Spark-Based Big RDF Triplestore. ESWC 2022: 444-460 - [c76]Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset:
PARTICUL: Part Identification with Confidence Measure Using Unsupervised Learning. ICPR Workshops (3) 2022: 173-187 - [c75]Hira Asghar, Christophe Bobineau, Marie-Christine Rousset:
Identifying Privacy Risks Raised by Utility Queries. WISE 2022: 309-324 - [e6]Rakia Jaziri, Arnaud Martin, Marie-Christine Rousset, Lydia Boudjeloud-Assala, Fabrice Guillet
:
Advances in Knowledge Discovery and Management - Volume 9 [Best of EGC 2019, Metz, France]. Studies in Computational Intelligence 1004, Springer 2022, ISBN 978-3-030-90286-5 [contents] - [i3]Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset:
PARTICUL: Part Identification with Confidence measure using Unsupervised Learning. CoRR abs/2206.13304 (2022) - 2021
- [c74]Shadi Baghernezhad-Tabasi, Loïc Druette, Fabrice Jouanot, Celine Meurger, Marie-Christine Rousset:
IOPE: Interactive Ontology Population and Enrichment. SEMANTiCS (Posters & Demos) 2021 - [c73]Shadi Baghernezhad-Tabasi, Loïc Druette, Fabrice Jouanot, Celine Meurger, Marie-Christine Rousset:
OntoSAMSEI: Interactive ontology engineering for supporting simulation-based training in Medicine. WETICE 2021: 177-182 - [c72]Shadi Baghernezhad-Tabasi, Loïc Druette, Fabrice Jouanot, Celine Meurger, Marie-Christine Rousset:
IOPE: Interactive Ontology Population and Enrichment Guided by Ontological Constraints. WISE (1) 2021: 321-336 - 2020
- [c71]Marie-Christine Rousset:
Reasoning on Data: Challenges and Application. ICAART (1) 2020: 7 - [p3]Nicole Bidoit, Patrick Bosc, Laurence Cholvy, Olivier Pivert, Marie-Christine Rousset:
Databases and Artificial Intelligence. A Guided Tour of Artificial Intelligence Research (3) (III) 2020: 91-116 - [p2]Jérôme Euzenat, Marie-Christine Rousset:
Semantic Web. A Guided Tour of Artificial Intelligence Research (3) (III) 2020: 181-207 - [p1]Meghyn Bienvenu
, Michel Leclère, Marie-Laure Mugnier
, Marie-Christine Rousset:
Reasoning with Ontologies. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 185-215 - [i2]Fabrice Jouanot, Olivier Palombi, Marie-Christine Rousset:
Ontology-based Learning Analytics in Medicine. ERCIM News 2020(120) (2020)
2010 – 2019
- 2019
- [j29]Olivier Palombi, Fabrice Jouanot, Nafissetou Nziengam, Behrooz Omidvar-Tehrani, Marie-Christine Rousset, Adam Sanchez:
OntoSIDES: Ontology-based student progress monitoring on the national evaluation system of French Medical Schools. Artif. Intell. Medicine 96: 59-67 (2019) - [c70]Marie-Christine Rousset:
Ontology-based Information Integration. ICEIS (1) 2019: 15 - [c69]Remy Delanaux
, Angela Bonifati
, Marie-Christine Rousset, Romuald Thion:
RDF Graph Anonymization Robust to Data Linkage. WISE 2019: 491-506 - [e5]Marie-Christine Rousset, Lydia Boudjeloud-Assala:
Extraction et Gestion des connaissances, EGC 2019, Metz, France, January 21-25, 2019. RNTI E-35, Éditions RNTI 2019, ISBN 979-10-96289-09-7 [contents] - 2018
- [c68]Remy Delanaux
, Angela Bonifati
, Marie-Christine Rousset, Romuald Thion:
Query-Based Linked Data Anonymization. ISWC (1) 2018: 530-546 - [c67]Eyhab Al-Masri, Marie-Christine Rousset:
Workshop Chairs' Welcome. WWW (Companion Volume) 2018: 887-889 - 2017
- [c66]Marie-Christine Rousset, Manuel Atencia, Jérôme David, Fabrice Jouanot, Olivier Palombi, Federico Ulliana
:
Datalog Revisited for Reasoning in Linked Data. RW 2017: 121-166 - 2016
- [c65]Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana:
Ontology-Mediated Queries for NOSQL Databases. AAAI 2016: 1051-1057 - [c64]Martin Kirchgessner, Vincent Leroy, Alexandre Termier, Sihem Amer-Yahia, Marie-Christine Rousset:
TopPI: An Efficient Algorithm for Item-Centric Mining. DaWaK 2016: 19-33 - [c63]Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana:
Ontology-Mediated Queries for NOSQL Databases. Description Logics 2016 - [c62]Mustafa Al-Bakri, Manuel Atencia, Jérôme David, Steffen Lalande, Marie-Christine Rousset:
Uncertainty-Sensitive Reasoning for Inferring sameAs Facts in Linked Data. ECAI 2016: 698-706 - 2015
- [j28]Pierre-Yves Rabattu, Benoit Massé, Federico Ulliana
, Marie-Christine Rousset, Damien Rohmer
, Jean-Claude Léon, Olivier Palombi:
My Corporis Fabrica Embryo: An ontology-based 3D spatio-temporal modeling of human embryo development. J. Biomed. Semant. 6: 36 (2015) - [j27]Manuel Atencia, Mustafa Al-Bakri, Marie-Christine Rousset:
Trust in networks of ontologies and alignments. Knowl. Inf. Syst. 42(2): 353-379 (2015) - [c61]Mustafa Al-Bakri, Manuel Atencia, Steffen Lalande, Marie-Christine Rousset:
Inferring Same-As Facts from Linked Data: An Iterative Import-by-Query Approach. AAAI 2015: 9-15 - [c60]Marie-Christine Rousset, Federico Ulliana:
Extracting Bounded-Level Modules from Deductive RDF Triplestores. AAAI 2015: 268-274 - 2014
- [j26]Olivier Palombi, Federico Ulliana
, Valentin Favier
, Jean-Claude Léon, Marie-Christine Rousset:
My Corporis Fabrica: an ontology-based tool for reasoning and querying on complex anatomical models. J. Biomed. Semant. 5: 20 (2014) - [j25]Benjamin Négrevergne, Alexandre Termier, Marie-Christine Rousset, Jean-François Méhaut
:
Para Miner: a generic pattern mining algorithm for multi-core architectures. Data Min. Knowl. Discov. 28(3): 593-633 (2014) - [j24]Sihem Amer-Yahia, Noha Ibrahim, Christiane Kamdem Kengne, Federico Ulliana
, Marie-Christine Rousset:
SOCLE: Towards a framework for data preparation in social applications. Ingénierie des Systèmes d Inf. 19(3): 49-72 (2014) - 2013
- [j23]François Goasdoué, Marie-Christine Rousset:
Robust Module-Based Data Management. IEEE Trans. Knowl. Data Eng. 25(3): 648-661 (2013) - [c59]Behrooz Omidvar-Tehrani, Sihem Amer-Yahia, Alexandre Termier, Aurélie Bertaux, Éric Gaussier, Marie-Christine Rousset:
Towards a Framework for Semantic Exploration of Frequent Patterns. IMMoA 2013: 7-14 - [c58]Christiane Kamdem Kengne, Léon Constantin Fopa, Alexandre Termier, Noha Ibrahim, Marie-Christine Rousset, Takashi Washio, Miguel Santana:
Efficiently rewriting large multimedia application execution traces with few event sequences. KDD 2013: 1348-1356 - [c57]Christiane Kamdem Kengne, Noha Ibrahim, Marie-Christine Rousset, Maurice Tchuenté:
Distance-Based Trace Diagnosis for Multimedia Applications: Help Me TED! ICSC 2013: 306-309 - 2012
- [c56]Mustafa Al-Bakri, Manuel Atencia, Marie-Christine Rousset:
TrustMe, I Got What You Mean! - A Trust-Based Semantic P2P Bookmarking System. EKAW 2012: 442-445 - [c55]Christiane Kamdem Kengne, Léon Constantin Fopa, Noha Ibrahim, Alexandre Termier, Marie-Christine Rousset, Takashi Washio:
Enhancing the Analysis of Large Multimedia Applications Execution Traces with FrameMiner. ICDM Workshops 2012: 595-602 - 2011
- [b1]Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart:
Web Data Management. Cambridge University Press 2011, ISBN 978-1-10-701243-1, pp. I-XIV, 1-435 - [j22]Rémi Tournaire, Jean-Marc Petit
, Marie-Christine Rousset, Alexandre Termier:
Discovery of Probabilistic Mappings between Taxonomies: Principles and Experiments. J. Data Semant. 15: 66-101 (2011) - [c54]Manuel Atencia, Jérôme Euzenat, Giuseppe Pirrò
, Marie-Christine Rousset:
Alignment-Based Trust for Resource Finding in Semantic P2P Networks. ISWC (1) 2011: 51-66 - [i1]Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. CoRR abs/1109.5716 (2011) - 2010
- [c53]Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset:
Distributed Datalog Revisited. Datalog 2010: 252-261 - [c52]Marie-Christine Rousset:
Combiner approche logique et numérique pour la réconciliation de données et l'alignement d'ontologies. EGC 2010: 23-24 - [c51]Rémi Tournaire, Jean-Marc Petit, Marie-Christine Rousset, Alexandre Termier:
Combining Logic and Probabilities for Discovering Mappings between Taxonomies. KSEM 2010: 530-542 - [c50]Fatiha Saïs, Nobal B. Niraula, Nathalie Pernelle, Marie-Christine Rousset:
LN2R a knowledge based reference reconciliation system: OAEI 2010 results. OM 2010
2000 – 2009
- 2009
- [j21]Fatiha Saïs, Nathalie Pernelle, Marie-Christine Rousset:
Combining a Logical and a Numerical Method for Data Reconciliation. J. Data Semant. 12: 66-94 (2009) - [c49]Nada Abdallah, François Goasdoué, Marie-Christine Rousset:
DL-LITER in the Light of Propositional Logic for Decentralized Data Management. IJCAI 2009: 2010-2015 - [e4]Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez
, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt:
Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures. Lecture Notes in Computer Science 5689, Springer 2009, ISBN 978-3-642-03753-5 [contents] - 2008
- [j20]Alexandre Termier, Marie-Christine Rousset, Michèle Sebag, Kouzou Ohara, Takashi Washio, Hiroshi Motoda:
DryadeParent, An Efficient and Robust Closed Attribute Tree Mining Algorithm. IEEE Trans. Knowl. Data Eng. 20(3): 300-320 (2008) - [c48]Gia Hien Nguyen, Philippe Chatalic, Marie-Christine Rousset:
A probabilistic trust model for semantic peer-to-peer systems. ECAI 2008: 881-882 - [c47]Gia Hien Nguyen, Philippe Chatalic, Marie-Christine Rousset:
A probabilistic trust model for semantic peer to peer systems. DaMaP 2008: 59-65 - 2007
- [j19]Philippe Adjiman, François Goasdoué, Marie-Christine Rousset:
SomeRDFSin the Semantic Web. J. Data Semant. 8: 158-181 (2007) - [c46]Fatiha Saïs, Nathalie Pernelle, Marie-Christine Rousset:
L2R: A Logical Method for Reference Reconciliation. AAAI 2007: 329-334 - [c45]Marie-Christine Rousset:
Building Scalable Semantic Peer-to-Peer Data Management Systems: The SomeWhere Approach. ENC 2007 - [c44]Fatiha Saïs, Nathalie Pernelle, Marie-Christine Rousset:
Approche logique pour la réconciliation de références. EGC 2007: 623-634 - [c43]Sattisvar Tandabany, Marie-Christine Rousset, Yuzuru Tanaka:
A logic-based language for describing device interoperability. ICPS 2007: 373-378 - 2006
- [j18]Chan Le Duc, Nhan Le Thanh, Marie-Christine Rousset:
A Compact Representation for Least Common Subsumers in the description logic ALE. AI Commun. 19(3): 239-273 (2006) - [j17]Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. J. Artif. Intell. Res. 25: 269-314 (2006) - [c42]Philippe Chatalic, Gia Hien Nguyen, Marie-Christine Rousset:
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems. ECAI 2006: 352-356 - [c41]Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon:
SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies. OTM Conferences (1) 2006: 698-703 - [c40]Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon:
SomeWhere in the Semantic Web. SOFSEM 2006: 84-99 - 2005
- [c39]Alexandre Termier, Marie-Christine Rousset, Michèle Sebag, Kouzou Ohara, Takashi Washio, Hiroshi Motoda:
Efficient Mining of High Branching Factor Attribute Trees. ICDM 2005: 785-788 - [c38]Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
Scalability Study of Peer-to-Peer Consequence Finding. IJCAI 2005: 351-356 - [c37]Marie-Christine Rousset:
Les défis posés par le Web sémantique. INFORSID 2005: 25-26 - [c36]Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
SomeWhere in the Semantic Web. PPSWR 2005: 1-16 - 2004
- [j16]Marie-Christine Rousset, Chantal Reynaud:
Knowledge representation for information integration. Inf. Syst. 29(1): 3-22 (2004) - [j15]François Goasdoué, Marie-Christine Rousset:
Answering queries using views: A KRDB perspective for the semantic Web. ACM Trans. Internet Techn. 4(3): 255-288 (2004) - [c35]Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
Distributed Reasoning in a Peer-to-Peer Setting. ECAI 2004: 945-946 - [c34]Alexandre Termier, Marie-Christine Rousset, Michèle Sebag:
DRYADE: A New Approach for Discovering Closed Frequent Trees in Heterogeneous Tree Databases. ICDM 2004: 543-546 - [c33]Helka Folch, Benoit Habert, Michèle Jardino, Nathalie Pernelle, Marie-Christine Rousset, Alexandre Termier:
Highlighting Latent Structure in Documents. LREC 2004 - [c32]Marie-Christine Rousset:
Small Can Be Beautiful in the Semantic Web. ISWC 2004: 6-16 - 2003
- [j14]Claude Delobel, Chantal Reynaud, Marie-Christine Rousset, Jean-Pierre Sirot, Dan Vodislav:
Semantic integration in Xyleme: a uniform tree-based approach. Data Knowl. Eng. 44(3): 267-298 (2003) - [j13]François Goasdoué, Marie-Christine Rousset:
Querying Distributed Data through Distributed Ontologies: A Simple but Scalable Approach. IEEE Intell. Syst. 18(5): 60-65 (2003) - [c31]Marie-Christine Rousset, Chantal Reynaud:
PICSEL and Xyleme: Two Illustrative Information Integration Agents. AgentLink 2003: 50-78 - [c30]François Goasdoué, Marie-Christine Rousset:
Querying Distributed Data through Distributed Ontologies: A Simple but Scalable Approach. IIWeb 2003: 149-154 - 2002
- [j12]Serge Abiteboul, Sophie Cluet, Guy Ferran, Marie-Christine Rousset:
The Xyleme project. Comput. Networks 39(3): 225-238 (2002) - [j11]Nathalie Pernelle, Marie-Christine Rousset, Henry Soldano, Véronique Ventos:
ZooM: a nested Galois lattices-based system for conceptual clustering. J. Exp. Theor. Artif. Intell. 14(2-3): 157-187 (2002) - [c29]François Goasdoué, Marie-Christine Rousset:
Compilation and Approximation of Conjunctive Queries by Concept Descriptions. Description Logics 2002 - [c28]François Goasdoué, Marie-Christine Rousset:
Compilation and Approximation of Conjunctive Queries by Concept Descriptions. ECAI 2002: 267-271 - [c27]Alexandre Termier, Marie-Christine Rousset, Michèle Sebag:
TreeFinder: a First Step towards XML Data Mining. ICDM 2002: 450-457 - [c26]Marie-Christine Rousset:
Knowledge Representation for Information Integration. ISMIS 2002: 1-3 - [c25]François Goasdoué, Marie-Christine Rousset:
Compilation and Approximation of Conjunctive Queries by Concept Descriptions. KRDB 2002 - [e3]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. CEUR Workshop Proceedings 54, CEUR-WS.org 2002 [contents] - 2001
- [j10]Dieter Fensel, Franz Baader, Marie-Christine Rousset, Holger Wache:
Heterogeneous information resources need semantic access. Data Knowl. Eng. 36(3): 211-213 (2001) - [c24]Nathalie Pernelle, Véronique Ventos, Marie-Christine Rousset:
Construction et affinement de hiérarchies à partir de données semi-structurées. EGC 2001: 81-92 - [c23]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 - [c22]Alexandre Termier, Michèle Sebag, Marie-Christine Rousset:
Combining Statistics and Semantics for Word and Document Clustering. Workshop on Ontology Learning 2001 - [c21]Nathalie Pernelle, Marie-Christine Rousset, Véronique Ventos:
Automatic Construction and Refinement of a Class Hierarchy over Multi-valued Data. PKDD 2001: 386-398 - 2000
- [j9]Dieter Fensel, Craig A. Knoblock, Nicholas Kushmerick, Marie-Christine Rousset:
Workshop on Intelligent Information Integration (III-99). AI Mag. 21(1): 91-94 (2000) - [j8]François Goasdoué, Véronique Lattès, Marie-Christine Rousset:
The Use of CARIN Language and Algorithms for Information Integration: The PICSEL System. Int. J. Cooperative Inf. Syst. 9(4): 383-401 (2000) - [c20]François Goasdoué, Marie-Christine Rousset:
Rewriting Conjunctive Queries using Views in Description Logics with Existential Restrictions. Description Logics 2000: 113-122
1990 – 1999
- 1999
- [j7]Peter F. Patel-Schneider, Marie-Christine Rousset:
Editorial: Special Issue on Description Logics. J. Log. Comput. 9(3): 265-266 (1999) - [c19]Marie-Christine Rousset:
Backward Reasoning in Aboxes for Query Answering. KRDB 1999: 50-54 - 1998
- [j6]Alon Y. Levy, Marie-Christine Rousset:
Verification of Knowledge Bases Based on Containment Checking. Artif. Intell. 101(1-2): 227-250 (1998) - [j5]Alon Y. Levy, Marie-Christine Rousset:
Combining Horn Rules and Description Logics in CARIN. Artif. Intell. 104(1-2): 165-209 (1998) - [j4]Dieter Fensel, Marie-Christine Rousset, Stefan Decker:
Workshop on Comparing Description and Frame Logics. Data Knowl. Eng. 25(3): 347-352 (1998) - [c18]Quentin Elhaik, Marie-Christine Rousset:
Making an ABox Persistent. Description Logics 1998 - [c17]Quentin Elhaik, Marie-Christine Rousset, Bernard Ycart:
Generating Random Benchmarks for Description Logics. Description Logics 1998 - 1997
- [j3]Marie-Christine Rousset, Susan Craw:
ECAI-96 workshop on validation, verification and refinement of KBS: A short report. Knowl. Eng. Rev. 12(1): 95-98 (1997) - [c16]Alon Y. Levy, Marie-Christine Rousset:
Verification of Knowledge Bases: a Unifying Logical View. EUROVAV 1997: 7-18 - [c15]Marie-Christine Rousset:
Verifying the World Wide Web: a Position Statement. EUROVAV 1997: 95-103 - [c14]Fatma Bouali, Stéphane Loiseau, Marie-Christine Rousset:
Revision of Rule Bases. EUROVAV 1997: 193-203 - [c13]Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset:
Rewriting Queries Using Views in Description Logics. PODS 1997: 99-108 - [e2]Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset:
Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France. URA-CNRS 410, 1997 [contents] - 1996
- [c12]Alon Y. Levy, Marie-Christine Rousset:
The Limits on Combining Recursive Horn Rules with Description Logics. AAAI/IAAI, Vol. 1 1996: 577-584 - [c11]Alon Y. Levy, Marie-Christine Rousset:
Verification of Knowledge Bases Based on Containment Checking. AAAI/IAAI, Vol. 1 1996: 585-591 - [c10]Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset:
Switching Terminologies - Creating a New View of An Old World: Preliminary Report. Description Logics 1996: 79-83 - [c9]Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel:
A Proposal for a Glass-Box Approach for Subsumption Checking. Description Logics 1996: 111-115 - [c8]Alon Y. Levy, Marie-Christine Rousset:
CARIN: A Representation Language Combining Horn Rules and Description Logics. ECAI 1996: 323-327 - [c7]Marie-Christine Rousset, Pascale Hors:
Modeling and Verifying Complex Objects: A Declarative Approach Based on Description Logics. ECAI 1996: 328-334 - [c6]Fatma Bouali, Stéphane Loiseau, Marie-Christine Rousset:
Merging Test and Verification for Rule Base Debugging. ICTAI 1996: 166-169 - [c5]Alon Y. Levy, Marie-Christine Rousset:
Using Description Logics to Model and Reason About Views. KRDB 1996 - 1995
- [c4]Alon Y. Levy, Marie-Christine Rousset:
Combining Rules and Description Logics: An Overview of CARIN. ILPS 1995: 635 - [e1]Marc Ayel, Marie-Christine Rousset:
Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995. ADERIAS-LIA, Universite de Savoie 1995 [contents] - 1994
- [c3]Marie-Christine Rousset:
Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical Formalisms. ECAI 1994: 739-743 - 1993
- [c2]Pascale Hors, Marie-Christine Rousset:
Consistency of Structured Knowledge: A Formal Framework Based on Description Logics. EUROVAV 1993: 231-245
1980 – 1989
- 1988
- [j2]Marie-Christine Rousset:
On the consistency of knowledge bases: the COVADIS system. Comput. Intell. 4: 166-170 (1988) - [c1]