Véronique Royer

According to our database, Véronique Royer authored at least 10 papers between 1985 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

On Intuitionistic Query Answering in Description Bases.

Véronique Royer, Joachim Quantz

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1992

A Preference Semantics for Defaults in Terminological Logics.

Joachim Quantz, Véronique Royer

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Deriving Inference Rules for Terminological Logics.

Véronique Royer, Joachim Quantz

Proceedings of the Logics in AI, European Workshop, 1992

Management of Preferences in Assumption-Based Reasoning.

Claudette Cayrol, Véronique Royer, Claire Saurel

Proceedings of the IPMU '92, 1992

1991

The Semantics of Incomplete Databases as an Expression of Preferences.

Véronique Royer

Theor. Comput. Sci., 1991

1990

Backward Chaining Evaluation in Stratified Disjunctive Theories.

Véronique Royer

Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

1989

Modeling Preference Choices in Incomplete Deductive Databases.

Véronique Royer

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1986

Transformations of denotational semantics in semantics directed compiler generation.

Véronique Royer

Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Congruent Representation of Standard Denotational Semantics.

Véronique Royer

Proceedings of the Information Processing 86, 1986

1985

Deriving Stack Semantics Congruent to Standard Denotational Semantics.

Véronique Royer

Proceedings of the STACS 85, 1985