| |
| 1996 | ||
|---|---|---|
| 2 | Marie-Christine Rousset, Pascale Hors: Modeling and Verifying Complex Objects: A Declarative Approach Based on Description Logics. ECAI 1996: 328-334 | |
| 1993 | ||
| 1 | Pascale Hors, Marie-Christine Rousset: Consistency of Structured Knowledge: A Formal Framework Based on Description Logics. EUROVAV 1993: 231-245 | |
| 1 | Marie-Christine Rousset | [1] [2] |