Hervé Gallaire

Hervé Gallaire: Logic Programming - Past or Future? Logic Programming: Formal Methods and Practical Applications 1995: 397-404

Jean-Marc Andreoli, Hervé Gallaire, Remo Pareschi: Rule-Based Object Coordination. ECOOP Workshop 1994: 1-13

Hervé Gallaire: Finding the Best Route for Logic Programming - Panel Position Paper. FGCS 1992: 220-222

Hervé Gallaire, Jean-Marie Nicolas: Logic and Databases: An Assessment. ICDT 1990: 177-186

Hervé Gallaire: Programmation en Logique: faire encore plus. SPLT 1989: 605-

Hervé Gallaire: From a laguna to open waters: Another view on the next generations of databases. VLDB 1989: 1

Rainer Manthey, Hervé Gallaire, Jean-Marie Nicolas: Can We Reach a Uniform Paradigm for Deductive Query Evaluation? Wissensbasierte Systeme 1989: 17-32

Hervé Gallaire: Multiple Reasoning Styles in Logic Programming. FGCS 1988: 1089-1099

Hervé Gallaire, Jean-Marie Nicolas: Logic Approach to Knowledge and Data Bases at ECRC. IEEE Data Eng. Bull. 10(4): 2-9 (1987)

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Response. SIGPLAN Notices 22(6): 20-24 (1987)

Hervé Gallaire: Boosting Logic Programming. ICLP 1987: 962-988

Hervé Gallaire: Merging Objects and Logic Programming: Relational Semantics. AAAI 1986: 754-758

Hervé Gallaire: Bridging the Gap between AI and Databases: Logic Approach. DS-2 1986: 151-172

Hervé Gallaire, Jean-Marie Nicolas: How to Look at Deductive Databases. Foundations of Knowledge Base Management (Xania) 1985: 119-130

Hervé Gallaire: Logic Programming Development (Abstract). GWAI 1985: 134

Hervé Gallaire: Logic Programming: Further Developments. SLP 1985: 88-96

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185 (1984)

Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): 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. Advances in Data Base Theory, Plemum Press 1984, isbn 0-306-41636-0

Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar: Panel on the Fifth Generation Project. IJCAI 1983: 1192-1194

Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber: A Panel on AI and Databases. IJCAI 1983: 1199

Hervé Gallaire: PROLOG et Bases de Données. SPLT 1983

Hervé Gallaire: Artificial Intelligence and Industry. ECAI 1982: 37-42

Hervé Gallaire, Alain Grumbach, E. Papon: Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressions. SPLT 1982

Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259

Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): 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. Advances in Data Base Theory, Plemum Press 1981, isbn 0-306-40629-2

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Background for Advances in Data Base Theory. Advances in Data Base Theory 1979: 3-21

Hervé Gallaire, Claudine Lasserre: Controlling Knowledge Deduction in a Declarative Approach. IJCAI 1979: 300

Hervé Gallaire, Jack Minker (Eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory, Plemum Press 1978, isbn 0-306-40060-X

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: An Overview and Intoduction to Logic and Data Bases. Logic and Data Bases 1977: 3-30

Jean-Marie Nicolas, Hervé Gallaire: Data Base: Theory vs. Interpretation. Logic and Data Bases 1977: 33-54

Hervé Gallaire: Decomposition of Linear Sequential Machines. II. Mathematical Systems Theory 4(2): 168-190 (1970)

Hervé Gallaire: Recognition Time of Context-Free Languages by On-Line Turing Machines. Information and Control 15(3): 288-295 (1969)

Hervé Gallaire, Michael A. Harrison: Decomposition of Linear Sequential Machines. Mathematical Systems Theory 3(3): 246-287 (1969)

Hervé Gallaire, Jim Gray, Michael A. Harrison, Gabor T. Herman: Infinite Linear Sequential Machines. J. Comput. Syst. Sci. 2(4): 381-419 (1968)