![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Patrice Enjalbert
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2013
- [c21]Patrice Enjalbert, Alexandre Labadié, Stéphane Ferrari:
Rhetorical Browzing in Journalistic Texts: Preliminary Investigations. FedCSIS 2013: 251-256 - 2012
- [c20]Lei Zhang, Stéphane Ferrari, Patrice Enjalbert:
Opinion analysis: The effect of negation on polarity and intensity. KONVENS 2012: 282-290 - [c19]Patrice Enjalbert, Lei Zhang, Stéphane Ferrari:
Opinion mining in an informative corpus: Building lexicons. KONVENS 2012: 314-318 - [c18]Alexandre Labadié, Patrice Enjalbert, Stéphane Ferrari:
Transitions thématiques : Annotation d'un corpus journalistique et premières analyses (Manual thematic annotation of a journalistic corpus : first observations and evaluation) [in French]. JEP-TALN-RECITAL 2012: 503-510
2000 – 2009
- 2009
- [c17]Marie-Paule Péry-Woodley, Nicholas Asher, Patrice Enjalbert, Farah Benamara, Myriam Bras, Cécile Fabre, Stéphane Ferrari, Lydia-Mai Ho-Dac, Anne Le Draoulec, Yann Mathet, Philippe Muller, Laurent Prévot, Josette Rebeyrolle, Ludovic Tanguy, Marianne Vergez-Couret, Laure Vieu, Antoine Widlöcher:
ANNODIS: une approche outillée de l'annotation de structures discursives. TALN (Articles courts) 2009: 41-46 - 2007
- [c16]Frédérik Bilhaut, Franck Dumoncel, Patrice Enjalbert, Nicolas Hernandez:
Indexation sémantique et recherche d'information interactive. CORIA 2007: 65-76 - 2006
- [j9]Patrice Enjalbert, Mauro Gaio
:
GéoSem. Traitements sémantiques pour l'information géographique, textes et cartes. Rev. Int. Géomatique 16(2): 181-194 (2006) - [i1]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
- [c15]Frédérik Bilhaut, Patrice Enjalbert:
Discourse Thematic Organisation Reveals Domain Knowledge Structure. IICAI 2005: 2815-2831 - 2003
- [c14]Frédérik Bilhaut, Thierry Charnois, Patrice Enjalbert, Yann Mathet:
Passage Extraction in Geographical Documents. IIS 2003: 121-130 - [c13]Frédérik Bilhaut, Lydia-Mai Ho-Dac, Andrée Borillo, Thierry Charnois, Patrice Enjalbert, Anne Le Draoulec, Yann Mathet, Hélène Miguet, Marie-Paule Péry-Woodley, Laure Sarda:
Indexation discursive pour la navigation intradocumentaire : cadres temporels et spatiaux dans l'information géographique. TALN (Posters) 2003: 315-320 - 2002
- [j8]Michel Dupont, Jean-Marc Vuillaume, Bernard Victorri, Patrice Enjalbert, Yann Mathet, Nicolas Malandain:
Nouvelles perspectives en extraction d'information. Tech. Sci. Informatiques 21(1): 37-63 (2002) - 2001
- [c12]Tiberiu Stratulat, Françoise Clérin-Debart, Patrice Enjalbert:
Norms and time in agent-based systems. ICAIL 2001: 178-187 - [c11]Tiberiu Stratulat, Françoise Clérin-Debart, Patrice Enjalbert:
Temporal Reasoning: An Application to Normative Systems. TIME 2001: 41-47 - 2000
- [j7]Gérard Becher, Françoise Clérin-Debart, Patrice Enjalbert:
A Qualitative Model for Time Granularity. Comput. Intell. 16(2): 137-168 (2000)
1990 – 1999
- 1998
- [c10]Gérard Becher, Françoise Clérin-Debart, Patrice Enjalbert:
A Model for Time Granularity in Natural Language. TIME 1998: 29-36 - 1995
- [c9]Claire Beyssade, Patrice Enjalbert, Claire Lefèvre:
Cooperating Logical Agents. ATAL 1995: 299-314 - [c8]Claire Beyssade, Patrice Enjalbert, Claire Lefèvre:
Cooperating Logical Agents. WOCFAI 1995: 27-38 - 1994
- [e2]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. Lecture Notes in Computer Science 775, Springer 1994, ISBN 3-540-57785-8 [contents] - 1993
- [e1]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. Lecture Notes in Computer Science 665, Springer 1993, ISBN 3-540-56503-5 [contents] - 1992
- [j6]Yves Auffray, Patrice Enjalbert:
Modal Theorem Proving: An Equational Viewpoint. J. Log. Comput. 2(3): 247-295 (1992) - [j5]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
- [c7]Patrice Enjalbert, Françoise Clérin-Debart:
A Case of Termination for Associative Unification. IWWERT 1991: 79-89 - 1990
- [j4]Yves Auffray, Patrice Enjalbert, Jean-Jacques Hébrard:
Strategies for Modal Resolution: Results and Problems. J. Autom. Reason. 6(1): 1-38 (1990) - [c6]Françoise Debart, Patrice Enjalbert, Madeleine Lescot:
Multi-Modal Logic Programming using Equational and Order-Sorted Logic. ALP 1990: 55-69
1980 – 1989
- 1989
- [j3]Patrice Enjalbert, Luis Fariñas del Cerro:
Modal Resolution in Clausal Form. Theor. Comput. Sci. 65(1): 1-33 (1989) - [c5]Yves Auffray, Patrice Enjalbert:
Modal Theorem Proving: An Equational Viewpoint. IJCAI 1989: 441-445 - 1984
- [c4]Patrice Enjalbert, Max Michel:
Many-Sorted Temporal Logic for Multi-Processes Systems. MFCS 1984: 273-281 - 1981
- [j2]Patrice Enjalbert:
Systèmes de Déduction pour les Arbres et les Schémas de Programme (II). RAIRO Theor. Informatics Appl. 15(1): 3-21 (1981) - 1980
- [j1]Patrice Enjalbert:
Systèmes de Déduction pour les Arbres et les Schémas de Programmes. RAIRO Theor. Informatics Appl. 14(3): 247-278 (1980) - [c3]Patrice Enjalbert, Guy Cousineau:
Three Semantics: A Framework for Studying Program Structures and Program Logics. IFIP Congress 1980: 77-82 - [c2]Patrice Enjalbert:
Algebraic semantics and program logics: Algorithmic logic for program trees. Logic of Programs 1980: 132-147
1970 – 1979
- 1979
- [c1]Guy Cousineau, Patrice Enjalbert:
Program Equivalence and Provability. MFCS 1979: 237-245
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint