dblp.uni-trier.dewww.uni-trier.de

Hervé Gallaire Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
30EEHervé 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-
28EEHervé 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
24EEHervé 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
16EEHervé 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
9EEHervé 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)

Coauthor Index

1Jean-Marc Andreoli [32]
2Robert B. K. Dewar [15]
3Jim Gray [1]
4Alain Grumbach [11]
5Michael A. Harrison [1] [2]
6Gabor T. Herman [1]
7Jonathan J. King [14]
8Robert A. Kowalski [15]
9Rainer Manthey [27]
10Jack Minker [6] [7] [8] [10] [16] [17] [23]
11John Mylopoulos [14]
12Jean-Marie Nicolas [5] [6] [8] [10] [16] [17] [20] [23] [24] [27] [30]
13E. Papon [11]
14Remo Pareschi [32]
15Raymond Reiter [14]
16Bonnie L. Webber [14]
17Toshio Yokoi [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)