Véronique Royer
Federal Emergency Management Agency(US)Office National d'Études et de Recherches Aérospatiales(FR)Centre d'Étude et de Recherche Travail Organisation Pouvoir(FR)
Publications by Year
Research Areas
Semantic Web and Ontologies, Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Advanced Database Systems and Queries, Natural Language Processing Techniques
Most-Cited Works
- A Preference Semantics for Defaults in Terminological Logics.(1992)
- → Management of preferences in assumption-based reasoning(1993)56 cited
- → Deriving inference rules for terminological logics(2005)18 cited
- Deriving Inference Rules for Description Logics: a Rewriting Approach into Sequent Calculi(1993)
- → Transformations of denotational semantics in semantics directed compiler generation(1986)6 cited
- → On intuitionistic query answering in description bases(1994)4 cited
- → Backward chaining evaluation in stratified disjunctive theories(1990)3 cited
- → The semantics of incomplete databases as an expression of preferences