 | 1995 |
|---|
| 33 |       | Hervé Gallaire:
Logic Programming - Past or Future?
Logic Programming: Formal Methods and Practical Applications 1995: 397-404 |
| 1994 |
|---|
| 32 | | Jean-Marc Andreoli,
Hervé Gallaire,
Remo Pareschi:
Rule-Based Object Coordination.
ECOOP Workshop 1994: 1-13 |
| 1992 |
|---|
| 31 | | Hervé Gallaire:
Finding the Best Route for Logic Programming - Panel Position Paper.
FGCS 1992: 220-222 |
| 1990 |
|---|
| 30 |  | Hervé Gallaire,
Jean-Marie Nicolas:
Logic and Databases: An Assessment.
ICDT 1990: 177-186 |
| 1989 |
|---|
| 29 | | Hervé Gallaire:
Programmation en Logique: faire encore plus.
SPLT 1989: 605- |
| 28 | | Hervé Gallaire:
From a laguna to open waters: Another view on the next generations of databases.
VLDB 1989: 1 |
| 27 | | Rainer Manthey,
Hervé Gallaire,
Jean-Marie Nicolas:
Can We Reach a Uniform Paradigm for Deductive Query Evaluation?
Wissensbasierte Systeme 1989: 17-32 |
| 1988 |
|---|
| 26 | | Hervé Gallaire:
Multiple Reasoning Styles in Logic Programming.
FGCS 1988: 1089-1099 |
| 1987 |
|---|
| 25 | | Hervé Gallaire:
Boosting Logic Programming.
ICLP 1987: 962-988 |
| 24 | | Hervé Gallaire,
Jean-Marie Nicolas:
Logic Approach to Knowledge and Data Bases at ECRC.
IEEE Data Eng. Bull. 10(4): 2-9 (1987) |
| 23 | | Hervé Gallaire,
Jack Minker,
Jean-Marie Nicolas:
Logic and Databases: A Response.
SIGPLAN Notices 22(6): 20-24 (1987) |
| 1986 |
|---|
| 22 | | Hervé Gallaire:
Merging Objects and Logic Programming: Relational Semantics.
AAAI 1986: 754-758 |
| 21 | | Hervé Gallaire:
Bridging the Gap between AI and Databases: Logic Approach.
DS-2 1986: 151-172 |
| 1985 |
|---|
| 20 | | Hervé Gallaire,
Jean-Marie Nicolas:
How to Look at Deductive Databases.
Foundations of Knowledge Base Management (Xania) 1985: 119-130 |
| 19 | | Hervé Gallaire:
Logic Programming Development (Abstract).
GWAI 1985: 134 |
| 18 | | Hervé Gallaire:
Logic Programming: Further Developments.
SLP 1985: 88-96 |
| 1984 |
|---|
| 17 | | Hervé Gallaire,
Jean-Marie Nicolas,
Jack Minker:
Advances in Data Base Theory, Vol. 2, Based on the Proceedings of the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'études et de recherches de Toulouse, France
Plemum Press 1984 |
| 16 | | Hervé Gallaire,
Jack Minker,
Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach.
ACM Comput. Surv. 16(2): 153-185 (1984) |
| 1983 |
|---|
| 15 | | Robert A. Kowalski,
Hervé Gallaire,
Toshio Yokoi,
Robert B. K. Dewar:
Panel on the Fifth Generation Project.
IJCAI 1983: 1192-1194 |
| 14 | | Raymond Reiter,
Hervé Gallaire,
Jonathan J. King,
John Mylopoulos,
Bonnie L. Webber:
A Panel on AI and Databases.
IJCAI 1983: 1199 |
| 13 | | Hervé Gallaire:
PROLOG et Bases de Données.
SPLT 1983 |
| 1982 |
|---|
| 12 | | Hervé Gallaire:
Artificial Intelligence and Industry.
ECAI 1982: 37-42 |
| 11 | | Hervé Gallaire,
Alain Grumbach,
E. Papon:
Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressions.
SPLT 1982 |
| 1981 |
|---|
| 10 | | Hervé Gallaire,
Jean-Marie Nicolas,
Jack Minker:
Advances in Data Base Theory, Vol. 1, Based on the Proceedings of the Workshop on Formal Bases for Data Bases, December 12-14, 1979, Centre d'Etudes et de Recherches de l'Ecole Nationale Supérieure de l'Aéronautique et de l'Espace de Toulouse (CERT), France
Plemum Press 1981 |
| 9 | | Hervé Gallaire:
Impacts of Logic and Databases (Invited Paper)
VLDB 1981: 248-259 |
| 1979 |
|---|
| 8 | | Hervé Gallaire,
Jack Minker,
Jean-Marie Nicolas:
Background for Advances in Data Base Theory.
Advances in Data Base Theory 1979: 3-21 |
| 1978 |
|---|
| 7 | | Hervé Gallaire,
Jack Minker:
Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977.
Plemum Press 1978 |
| 1977 |
|---|
| 6 | | Hervé Gallaire,
Jack Minker,
Jean-Marie Nicolas:
An Overview and Intoduction to Logic and Data Bases.
Logic and Data Bases 1977: 3-30 |
| 5 | | Jean-Marie Nicolas,
Hervé Gallaire:
Data Base: Theory vs. Interpretation.
Logic and Data Bases 1977: 33-54 |
| 1970 |
|---|
| 4 | | Hervé Gallaire:
Decomposition of Linear Sequential Machines. II.
Mathematical Systems Theory 4(2): 168-190 (1970) |
| 1969 |
|---|
| 3 | | Hervé Gallaire:
Recognition Time of Context-Free Languages by On-Line Turing Machines
Information and Control 15(3): 288-295 (1969) |
| 2 | | Hervé Gallaire,
Michael A. Harrison:
Decomposition of Linear Sequential Machines.
Mathematical Systems Theory 3(3): 246-287 (1969) |
| 1968 |
|---|
| 1 | | Hervé Gallaire,
Jim Gray,
Michael A. Harrison,
Gabor T. Herman:
Infinite Linear Sequential Machines.
J. Comput. Syst. Sci. 2(4): 381-419 (1968) |
