Hervé Gallaire

Publication Activity (10 Years)

Years Active: 1968-1994
Publications (10 Years): 0

Publications

Jean-Marc Andreoli, Hervé Gallaire, Remo Pareschi
Rule-Based Object Coordination. ECOOP Workshop (1994)
Hervé Gallaire
Finding the Best Route for Logic Programming - Panel Position Paper. FGCS (1992)
Hervé Gallaire, Jean-Marie Nicolas
Logic and Databases: An Assessment. ICDT (1990)
Hervé Gallaire
From a laguna to open waters: Another view on the next generations of databases. VLDB (1989)
Hervé Gallaire
Programmation en Logique: faire encore plus. SPLT (1989)
Rainer Manthey, Hervé Gallaire, Jean-Marie Nicolas
Can We Reach a Uniform Paradigm for Deductive Query Evaluation? Wissensbasierte Systeme (1989)
Hervé Gallaire
Multiple Reasoning Styles in Logic Programming. FGCS (1988)
Hervé Gallaire
Boosting Logic Programming. ICLP (1987)
Hervé Gallaire, Jean-Marie Nicolas
Logic Approach to Knowledge and Data Bases at ECRC. IEEE Data Eng. Bull. 10 (4) (1987)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
Logic and Databases: A Response. ACM SIGPLAN Notices 22 (6) (1987)
Hervé Gallaire
ECRC: A joint industrial research centre. Future Gener. Comput. Syst. 3 (4) (1987)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
Logic and databases: a response. SIGACT News 18 (2) (1986)
Hervé Gallaire
Merging Objects and Logic Programming: Relational Semantics. AAAI (1986)
Hervé Gallaire
Bridging the Gap between AI and Databases: Logic Approach. DS-2 (1986)
Hervé Gallaire, Jean-Marie Nicolas
How to Look at Deductive Databases. Foundations of Knowledge Base Management (Xania) (1985)
Hervé Gallaire
Logic Programming: Further Developments. SLP (1985)
Hervé Gallaire
Logic Programming Development (Abstract). GWAI (1985)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16 (2) (1984)
Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar
Panel on the Fifth Generation Project. IJCAI (1983)
Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber
A Panel on AI and Databases. IJCAI (1983)
Hervé Gallaire
PROLOG et Bases de Données. SPLT (1983)
Hervé Gallaire
Logical Data Bases vs Deductive Data Bases. Logic Programming Workshop (1983)
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
Artificial Intelligence and Industry. ECAI (1982)
Hervé Gallaire
Impacts of Logic and Databases (Invited Paper) VLDB (1981)
Hervé Gallaire, Claudine Lasserre
Controlling Knowledge Deduction in a Declarative Approach. IJCAI (1979)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
Background for Advances in Data Base Theory. Advances in Data Base Theory (1979)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
An Overview and Introduction to Logic and Data Bases. Logic and Data Bases (1977)
Jean-Marie Nicolas, Hervé Gallaire
Data Base: Theory vs. Interpretation. Logic and Data Bases (1977)
Hervé Gallaire
Decomposition of Linear Sequential Machines. II. Math. Syst. Theory 4 (2) (1970)
Hervé Gallaire, Michael A. Harrison
Decomposition of Linear Sequential Machines. Math. Syst. Theory 3 (3) (1969)
Hervé Gallaire
Recognition Time of Context-Free Languages by On-Line Turing Machines Inf. Control. 15 (3) (1969)
Hervé Gallaire, Jim Gray, Michael A. Harrison, Gabor T. Herman
Infinite Linear Sequential Machines. J. Comput. Syst. Sci. 2 (4) (1968)