Laurence Cholvy

Publications

608

Citations

H-Index

1986

Active since

Affiliations

Office National d'Études et de Recherches Aérospatiales(Current)

Federal Emergency Management Agency

Centre d'Étude et de Recherche Travail Organisation Pouvoir

Université Toulouse III - Paul Sabatier

Institut de Recherche en Informatique de Toulouse

Laurence Cholvy is an author at Office National d'Études et de Recherches Aérospatiales specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningData ScienceLawData FusionSemantic WebKnowledge DiscoveryInformation RetrievalInformation Management

Publications per year

1986–2016

Publications

Fusion: General concepts and characteristics

Isabelle Bloch, Anthony Hunter, Alain Appriou et al. · International Journal of Intelligent Systems · 2001 · 154 citations

Engineering, General Concepts, Verification +23

Analyzing consistency of security policies

Laurence Cholvy, Frédéric Cuppens · 2002 · 114 citations

Engineering, Information Security, Verification +20

Querying a Rule Base.

Laurence Cholvy, Robert Demolombe · 1986 · 45 citations

Engineering, Information Retrieval, Data Science +10

Towards a logical formalization of responsibility

Laurence Cholvy, Frédéric Cuppens, Claire Saurel · 1997 · 32 citations · Full text

Proving theorems in a multi-source environment

Laurence Cholvy · International Joint Conference on Artificial Intelligence · 1993 · 31 citations

Engineering, Classical Logic, Verification +16

Rows per page

1–5 of 20