Robert Demolombe

Publications

487

Citations

H-Index

1978

Active since

Affiliations

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

Institut de Recherche en Informatique de Toulouse

Federal Emergency Management Agency

Université Toulouse III - Paul Sabatier

Université Toulouse-I-Capitole

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

Top concepts

EngineeringAutomated ReasoningComputer ScienceLanguageLinguisticsSemanticsFormal MethodsInformation RetrievalData ScienceFormal Verification

Publications per year

1978–2014

Publications

Cooperative Answering: A Methodology to Provide Intelligent Access to databases.

Frédéric Cuppens, Robert Demolombe · PolyPublie (École Polytechnique de Montréal) · 1988 · 93 citations

Cooperative Answering, Database Theory, Relational Database +11

How to recognize interesting topics to provide cooperative answering

F. Cuppens, Robert Demolombe · Information Systems · 1989 · 48 citations

Natural Language Processing, Cooperative Answering, Engineering +10

Estimation of the number of tuples satisfying a query expressed in predicate calculus language

Robert Demolombe · Very Large Data Bases · 1980 · 46 citations

Engineering, Computational Complexity, Higher-order Logic +17

Querying a Rule Base.

Laurence Cholvy, Robert Demolombe · 1986 · 45 citations

Engineering, Information Retrieval, Data Science +10

Syntactical characterization of a subset of domain-independent formulas

Robert Demolombe · Journal of the ACM · 1992 · 39 citations · Full text

Engineering, Higher-order Logic, Semantics +19

Rows per page

1–5 of 16