 | 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 | | 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 | | 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 |
