Search the dblp DataBase

Publications of Author

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