Vronique Royer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1985–1994
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | CADE | On Intuitionistic Query Answering in Description Bases. | Vronique Royer, Joachim Quantz |
| 1992 | IPMU | Management of Preferences in Assumption-Based Reasoning. | Claudette Cayrol, Vronique Royer, Claire Saurel |
| 1992 | JELIA | Deriving Inference Rules for Terminological Logics. | Vronique Royer, Joachim Quantz |
| 1992 | KR | A Preference Semantics for Defaults in Terminological Logics. | Joachim Quantz, Vronique Royer |
| 1990 | PODS | Backward Chaining Evaluation in Stratified Disjunctive Theories. | Vronique Royer |
| 1985 | STACS | Deriving Stack Semantics Congruent to Standard Denotational Semantics. | Vronique Royer |