dblp.uni-trier.dewww.uni-trier.de

Patrice Enjalbert Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
25EEFrédérik Bilhaut, Franck Dumoncel, Patrice Enjalbert, Nicolas Hernandez: Indexation sémantique et recherche d'information interactive. CORIA 2007: 65-76
2006
24EEGé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
21EEM. 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
19EETiberiu 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
17EEGé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
10EEFranç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
6EEPatrice 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
1EEGuy Cousineau, Patrice Enjalbert: Program Equivalence and Provability. MFCS 1979: 237-245

Coauthor Index

1Yves Auffray [8] [9] [13]
2Gérard Becher [17] [18] [24]
3Claire Beyssade [16]
4Frédérik Bilhaut [22] [23] [25]
5Luis Fariñas del Cerro [7]
6Thierry Charnois [22]
7Françoise Clérin-Debart (Françoise Debart) [10] [11] [12] [17] [18] [19] [20]
8Guy Cousineau [1] [4]
9Franck Dumoncel [25]
10M. Dupont [21]
11Estelle Fievé [24]
12Alain Finkel [14]
13Laurent Gosselin [24]
14Jean-Jacques Hébrard [9]
15Nicolas Hernandez [25]
16Claire Lefèvre [16]
17Madeleine Lescot [10] [12]
18François Lévy [24]
19Gérard Ligozat (Gerard Ligozat) [24]
20Nicolas Malandain [21]
21Y. Mathet [21] [22]
22Ernst W. Mayr [15]
23Max Michel [6]
24Tiberiu Stratulat [19] [20]
25Bernard Victorri [21]
26J. Vuillaume [21]
27Klaus W. Wagner [14] [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)