Concepedia

Patrice Enjalbert

PE

7

Publications

210

Citations

7

H-Index

1989

Active since

Affiliations

Université de Caen Normandie(Current)

Patrice Enjalbert is an author at Université de Caen Normandie specializing in automated reasoning, computational linguistics, and linguistics.

Top concepts

SemanticsEngineeringLinguisticsAutomated ReasoningComputational LinguisticsSyntaxLanguageFormal SemanticsCorpus LinguisticsNatural Language Processing

Publications per year

1989–2003

7

Publications

7

Modal resolution in clausal form

Patrice Enjalbert, Luís Fariñas del Cerro · Theoretical Computer Science · 1989 · 77 citations

Modal Resolution, Modal Logic, Propositional Logic +1

Geographic reference analysis for geographic document querying

Frédérik Bilhaut, Thierry Charnois, Patrice Enjalbert et al. · 2003 · 40 citations · Full text

Engineering, Semantic Search, Intelligent Information Retrieval +20

Multimodal logic programming using equational and order-sorted logic

Françoise Debart, Patrice Enjalbert, Madeleine Lescot · Theoretical Computer Science · 1992 · 37 citations

Computational Logic, Engineering, Automated Reasoning +5

A Qualitative Model for Time Granularity

Gérard Becher, Françoise Clérin‐Debart, Patrice Enjalbert · Computational Intelligence · 2000 · 17 citations

Engineering, Qualitative Model, Temporal Representation +20

Modal Theorem Proving: An Equational Viewpoint

Yves Auffray, Patrice Enjalbert · Journal of Logic and Computation · 1992 · 15 citations

Rows per page

1–5 of 7