The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrice Enjalbert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  23. Indexation sémantique et recherche d'information interactive. [Citation Graph (, )][DBLP]


Search in 0.033secs, Finished in 0.034secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002