Hervé Gallaire

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