Travelled to:1 × France
1 × USA
Collaborated with:J.Quantz ∅
Talks about:intuitionist (1) terminolog (1) stratifi (1) disjunct (1) descript (1) backward (1) default (1) theori (1) semant (1) prefer (1)
Person: Véronique Royer
DBLP: Royer:V=eacute=ronique
Contributed to:
1994
1992
1990Wrote 3 papers:
- CADE-1994-RoyerQ #on the #query
- On Intuitionistic Query Answering in Description Bases (VR, JQ), pp. 326–340.
- KR-1992-QuantzR #logic #semantics
- A Preference Semantics for Defaults in Terminological Logics (JQ, VR), pp. 294–305.
- PODS-1990-Royer #evaluation
- Backward Chaining Evaluation in Stratified Disjunctive Theories (VR), pp. 183–195.