| 2006 |
|---|
| 24 | EE | Gérard Becher,
Patrice Enjalbert,
Estelle Fievé,
Laurent Gosselin,
François Lévy,
Gérard Ligozat:
Rapport technique du projet OGRE
CoRR abs/cs/0610004: (2006) |
| 2005 |
|---|
| 23 | | Frédérik Bilhaut,
Patrice Enjalbert:
Discourse Thematic Organisation Reveals Domain Knowledge Structure.
IICAI 2005: 2815-2831 |
| 2003 |
|---|
| 22 | | Frédérik Bilhaut,
Thierry Charnois,
Patrice Enjalbert,
Y. Mathet:
Passage Extraction in Geographical Documents.
IIS 2003: 121-130 |
| 2002 |
|---|
| 21 | EE | M. Dupont,
J. Vuillaume,
Bernard Victorri,
Patrice Enjalbert,
Y. Mathet,
Nicolas Malandain:
Nouvelles perspectives en extraction d'information.
Technique et Science Informatiques 21(1): 37-63 (2002) |
| 2001 |
|---|
| 20 | | Tiberiu Stratulat,
Françoise Clérin-Debart,
Patrice Enjalbert:
Norms and time in agent-based systems.
ICAIL 2001: 178-187 |
| 19 | EE | Tiberiu Stratulat,
Françoise Clérin-Debart,
Patrice Enjalbert:
Temporal Reasoning: An Application to Normative Systems.
TIME 2001: 41-47 |
| 2000 |
|---|
| 18 | | Gérard Becher,
Françoise Clérin-Debart,
Patrice Enjalbert:
A Qualitative Model for Time Granularity.
Computational Intelligence 16(2): 137-168 (2000) |
| 1998 |
|---|
| 17 | EE | Gérard Becher,
Françoise Clérin-Debart,
Patrice Enjalbert:
A Model for Time Granularity in Natural Language.
TIME 1998: 29-36 |
| 1995 |
|---|
| 16 | | Claire Beyssade,
Patrice Enjalbert,
Claire Lefèvre:
Cooperating Logical Agents.
ATAL 1995: 299-314 |
| 1994 |
|---|
| 15 | | Patrice Enjalbert,
Ernst W. Mayr,
Klaus W. Wagner:
STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings
Springer 1994 |
| 1993 |
|---|
| 14 | | Patrice Enjalbert,
Alain Finkel,
Klaus W. Wagner:
STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings
Springer 1993 |
| 1992 |
|---|
| 13 | | Yves Auffray,
Patrice Enjalbert:
Modal Theorem Proving: An Equational Viewpoint.
J. Log. Comput. 2(3): 247-295 (1992) |
| 12 | | Françoise Debart,
Patrice Enjalbert,
Madeleine Lescot:
Multimodal Logic Programming Using Equational and Order-Sorted Logic.
Theor. Comput. Sci. 105(1): 141-166 (1992) |
| 1991 |
|---|
| 11 | | Patrice Enjalbert,
Françoise Clérin-Debart:
A Case of Termination for Associative Unification.
IWWERT 1991: 79-89 |
| 1990 |
|---|
| 10 | | Françoise Debart,
Patrice Enjalbert,
Madeleine Lescot:
Multi-Modal Logic Programming using Equational and Order-Sorted Logic.
ALP 1990: 55-69 |
| 9 | | Yves Auffray,
Patrice Enjalbert,
Jean-Jacques Hébrard:
Strategies for Modal Resolution: Results and Problems.
J. Autom. Reasoning 6(1): 1-38 (1990) |
| 1989 |
|---|
| 8 | | Yves Auffray,
Patrice Enjalbert:
Modal Theorem Proving: An Equational Viewpoint.
IJCAI 1989: 441-445 |
| 7 | | Patrice Enjalbert,
Luis Fariñas del Cerro:
Modal Resolution in Clausal Form.
Theor. Comput. Sci. 65(1): 1-33 (1989) |
| 1984 |
|---|
| 6 | | Patrice Enjalbert,
Max Michel:
Many-Sorted Temporal Logic for Multi-Processes Systems.
MFCS 1984: 273-281 |
| 1981 |
|---|
| 5 | | Patrice Enjalbert:
Systèmes de Déduction pour les Arbres et les Schémas de Programme (II).
ITA 15(1): 3-21 (1981) |
| 1980 |
|---|
| 4 | | Patrice Enjalbert,
Guy Cousineau:
Three Semantics: A Framework for Studying Program Structures and Program Logics.
IFIP Congress 1980: 77-82 |
| 3 | | Patrice Enjalbert:
Algebraic semantics and program logics: Algorithmic logic for program trees.
Logic of Programs 1980: 132-147 |
| 2 | | Patrice Enjalbert:
Systèmes de Déduction pour les Arbres et les Schémas de Programmes.
ITA 14(3): 247-278 (1980) |
| 1979 |
|---|
| 1 | | Guy Cousineau,
Patrice Enjalbert:
Program Equivalence and Provability.
MFCS 1979: 237-245 |
