| |
| 1994 | ||
|---|---|---|
| 10 | Véronique Royer, Joachim Quantz: On Intuitionistic Query Answering in Description Bases. CADE 1994: 326-340 | |
| 1992 | ||
| 9 | Claudette Cayrol, Véronique Royer, Claire Saurel: Management of Preferences in Assumption-Based Reasoning. IPMU 1992: 13-22 | |
| 8 | Véronique Royer, Joachim Quantz: Deriving Inference Rules for Terminological Logics. JELIA 1992: 84-105 | |
| 7 | Joachim Quantz, Véronique Royer: A Preference Semantics for Defaults in Terminological Logics. KR 1992: 294-305 | |
| 1991 | ||
| 6 | Véronique Royer: The Semantics of Incomplete Databases as an Expression of Preferences. Theor. Comput. Sci. 78(1): 113-136 (1991) | |
| 1990 | ||
| 5 | EE | Véronique Royer: Backward Chaining Evaluation in Stratified Disjunctive Theories. PODS 1990: 183-195 |
| 1989 | ||
| 4 | Véronique Royer: Modeling Preference Choices in Incomplete Deductive Databases. IFIP Congress 1989: 673-678 | |
| 1986 | ||
| 3 | Véronique Royer: Congruent Representation of Standard Denotational Semantics. IFIP Congress 1986: 655-660 | |
| 2 | EE | Véronique Royer: Transformations of denotational semantics in semantics directed compiler generation. SIGPLAN Symposium on Compiler Construction 1986: 68-73 |
| 1985 | ||
| 1 | Véronique Royer: Deriving Stack Semantics Congruent to Standard Denotational Semantics. STACS 1985: 299-309 | |
| 1 | Claudette Cayrol | [9] |
| 2 | Joachim Quantz | [7] [8] [10] |
| 3 | Claire Saurel | [9] |