E-LIB Suche - Ergebnisse für: Enjalbert, Patrice

1

Norms and time in agent-based systems:

, In: Proceedings of the 8th international conference on Artificial intelligence and law,

Stratulat, Tiberiu ; Clérin-Debart, Françoise ; Enjalbert, Patrice - p. 178-185 , 2001

2

A Qualitative Model for Time Granularity:

Becher, Gérard ; Clérin‐Debart, Françoise ; Enjalbert, Patrice
Computational Intelligence. 16 (2000) 2 - p. 137-168 , 2000

Link: https://doi.org/10.1111/..

3

Preface:

Enjalbert, Patrice ; Mayr, Ernst W. ; Wagner, Klaus W.
Theoretical Computer Science. 148 (1995) 2 - p. 181 , 1995

Link: https://doi.org/10.1016/..

4

Proceedings

11th Annual Symposium on Theoretical Aspects of Computer Sc... Lecture notes in computer science ; 775

Enjalbert, Patrice , 1994

Copies: Zentrale:Magazin 01.p.3029

5

STACS 94

11th Annual Symposium on Theoretical Aspects of Computer Sc... Lecture notes in computer science ; 775

Enjalbert, Patrice , 1994

Link: http://dx.doi.org/10.100..

Copies: Zentrale:Magazin 01.p.3029

6

STACS 94

11th Annual Symposium on Theoretical Aspects of Computer Sc... Lecture Notes in Computer Science ; 775;SpringerLink, Bücher

Enjalbert, Patrice ; Mayr, Ernst W. ; Wagner, Klaus W. , 1994

Link: https://doi.org/10.1007/..

7

STACS 93

10th Annual Symposium on Theoretical Aspects of Computer Sc... Lecture Notes in Computer Science ; 665;SpringerLink, Bücher

Enjalbert, Patrice ; Finkel, Alain ; Wagner, Klaus W. , 1993

Link: https://doi.org/10.1007/..

8

STACS 93

10th Annual Symposium on Theoretical Aspects of Computer Sc... Lecture notes in computer science ; 665

Enjalbert, Patrice , 1993

Link: http://dx.doi.org/10.100..

Copies: Zentrale:Magazin 01.p.0575

9

Proceedings

10th Annual Symposium on Theoretical Aspects of Computer Sc... Lecture notes in computer science ; 665

Enjalbert, Patrice , 1993

Copies: Zentrale:Magazin 01.p.0575

10

Modal Theorem Proving: An Equational Viewpoint:

AUFFRAY, YVES ; ENJALBERT, PATRICE
Journal of Logic and Computation. 2 (1992) 3 - p. 247-295 , 1992

Link: https://doi.org/10.1093/..

11

Multimodal logic programming using equational and order-sor..:

Debart, Françoise ; Enjalbert, Patrice ; Lescot, Madeleine
Theoretical Computer Science. 105 (1992) 1 - p. 141-166 , 1992

Link: https://doi.org/10.1016/..

12

Modal resolution in clausal form:

Enjalbert, Patrice ; Farinas del Cerro, Luis
Theoretical Computer Science. 65 (1989) 1 - p. 1-33 , 1989

Link: https://doi.org/10.1016/..

13

Propagation de la charge évaluative au sein de la phrase : ..:

Langlet, Caroline ; Enjalbert, Patrice ; Jackiewicz, Agata
ISBN: 978-3-631-64608-3. , 2014

Link: https://hal.science/hal-..

14

Propagation de la charge évaluative au sein de la phrase : ..:

Langlet, Caroline ; Enjalbert, Patrice ; Jackiewicz, Agata
ISBN: 978-3-631-64608-3. , 2014

Link: https://hal.science/hal-..

15

Propagation de la charge évaluative au sein de la phrase : ..:

langlet, caroline ; Enjalbert, Patrice ; Jackiewicz, Agata
ISBN: 978-3-631-64608-3. , 2014

Link: https://hal.archives-ouv..