dblp.uni-trier.dewww.uni-trier.de

Véronique Royer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1994
10EEVé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
8EEVé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
5EEVé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
2EEVéronique Royer: Transformations of denotational semantics in semantics directed compiler generation. SIGPLAN Symposium on Compiler Construction 1986: 68-73
1985
1EEVéronique Royer: Deriving Stack Semantics Congruent to Standard Denotational Semantics. STACS 1985: 299-309

Coauthor Index

1Claudette Cayrol [9]
2Joachim Quantz [7] [8] [10]
3Claire Saurel [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)