The SCEAS System
Navigation Menu

Search the dblp DataBase


Véronique Royer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002