Véronique Royer

Publication Activity (10 Years)

Years Active: 1985-1994
Publications (10 Years): 0

Publications

Véronique Royer, Joachim Quantz
On Intuitionistic Query Answering in Description Bases. CADE (1994)
Joachim Quantz, Véronique Royer
A Preference Semantics for Defaults in Terminological Logics. KR (1992)
Véronique Royer, Joachim Quantz
Deriving Inference Rules for Terminological Logics. JELIA (1992)
Claudette Cayrol, Véronique Royer, Claire Saurel
Management of Preferences in Assumption-Based Reasoning. IPMU (1992)
Véronique Royer
The Semantics of Incomplete Databases as an Expression of Preferences. Theor. Comput. Sci. 78 (1) (1991)
Véronique Royer
Backward Chaining Evaluation in Stratified Disjunctive Theories. PODS (1990)
Véronique Royer
Modeling Preference Choices in Incomplete Deductive Databases. IFIP Congress (1989)
Véronique Royer
Congruent Representation of Standard Denotational Semantics. IFIP Congress (1986)
Véronique Royer
Transformations of denotational semantics in semantics directed compiler generation. SIGPLAN Symposium on Compiler Construction (1986)
Véronique Royer
Deriving Stack Semantics Congruent to Standard Denotational Semantics. STACS (1985)