Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Patrice Enjalbert

Papers on DiSC'02


Temporal Reasoning: An Application to Normative Systems

Publications


Note: Links lead to the DBLP on the Web.

Patrice Enjalbert

19 Tiberiu Stratulat , Françoise Clérin-Debart , Patrice Enjalbert: Norms and time in agent-based systems. ICAIL 2001 : 178-187

18 Tiberiu Stratulat , Françoise Clérin-Debart , Patrice Enjalbert: Temporal Reasoning: An Application to Normative Systems. TIME 2001 : 41-47

17 Gérard Becher , Françoise Clérin-Debart , Patrice Enjalbert: A Qualitative Model for Time Granularity. Computational Intelligence 16 (2): 137-168 (2000)

16 Gérard Becher , Françoise Clérin-Debart , Patrice Enjalbert: A Model for Time Granularity in Natural Language. TIME 1998 : 29-36

15 Claire Beyssade , Patrice Enjalbert, Claire Lefèvre : Cooperating Logical Agents. ATAL 1995 : 299-314

14 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

13 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

12 Yves Auffray , Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. Journal of Logic and Computation 2 (3): 247-295 (1992)

11 Françoise Debart , Patrice Enjalbert, Madeleine Lescot : Multimodal Logic Programming Using Equational and Order-Sorted Logic. TCS 105 (1): 141-166 (1992)

10 Patrice Enjalbert, Françoise Clérin-Debart : A Case of Termination for Associative Unification. IWWERT 1991 : 79-89

9 Françoise Debart , Patrice Enjalbert, Madeleine Lescot : Multi-Modal Logic Programming using Equational and Order-Sorted Logic. ALP 1990 : 55-69

8 Yves Auffray , Patrice Enjalbert, Jean-Jacques Hébrard : Strategies for Modal Resolution: Results and Problems. Journal of Automated Reasoning 6 (1): 1-38 (1990)

7 Yves Auffray , Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. IJCAI 1989 : 441-445

6 Patrice Enjalbert, Luis Fariñas del Cerro : Modal Resolution in Clausal Form. TCS 65 (1): 1-33 (1989)

5 Patrice Enjalbert, Max Michel : Many-Sorted Temporal Logic for Multi-Processes Systems. MFCS 1984 : 273-281

4 Patrice Enjalbert: Systèmes de Déduction pour les Arbres et les Schémas de Programme (II). ITA 15 (1): 3-21 (1981)

3 Patrice Enjalbert, Guy Cousineau : Three Semantics: A Framework for Studying Program Structures and Program Logics. IFIP Congress 1980 : 77-82

2 Patrice Enjalbert: Systèmes de Déduction pour les Arbres et les Schémas de Programmes. ITA 14 (3): 247-278 (1980)

1 Guy Cousineau , Patrice Enjalbert: Program Equivalence and Provability. MFCS 1979 : 237-245




DiSC'02 © 2003 Association for Computing Machinery