Hervé Gallaire

According to our database1, Hervé Gallaire
  • authored at least 32 papers between 1968 and 1995.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1995
Logic Programming - Past or Future?
Logic Programming: Formal Methods and Practical Applications, 1995

1994
Rule-Based Object Coordination.
Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994

1992
Finding the Best Route for Logic Programming - Panel Position Paper.
FGCS, 1992

1990
Logic and Databases: An Assessment.
Proceedings of the ICDT'90, 1990

1989
Can We Reach a Uniform Paradigm for Deductive Query Evaluation?
Proceedings of the Wissensbasierte Systeme, 1989

From a laguna to open waters: Another view on the next generations of databases.
Proceedings of the Fifteenth International Conference on Very Large Data Bases, 1989

Programmation en Logique: faire encore plus.
Proceedings of the SPLT'89, 1989

1988
Multiple Reasoning Styles in Logic Programming.
FGCS, 1988

1987
Logic and Databases: A Response.
SIGPLAN Notices, 1987

ECRC: A joint industrial research centre.
Future Generation Comp. Syst., 1987

Logic Approach to Knowledge and Data Bases at ECRC.
IEEE Data Eng. Bull., 1987

Boosting Logic Programming.
Proceedings of the Logic Programming, 1987

1986
Bridging the Gap between AI and Databases: Logic Approach.
Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

Merging Objects and Logic Programming: Relational Semantics.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
Logic Programming: Further Developments.
Proceedings of the 1985 Symposium on Logic Programming, 1985

Logic Programming Development (Abstract).
Proceedings of the GWAI-85, 1985

How to Look at Deductive Databases.
Foundations of Knowledge Base Management (Xania), 1985

1984
Logic and Databases: A Deductive Approach.
ACM Comput. Surv., 1984

1983
PROLOG et Bases de Données.
Proceedings of the SPLT'83, 1983

A Panel on AI and Databases.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Panel on the Fifth Generation Project.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressions.
Proceedings of the SPLT'82, 1982

Artificial Intelligence and Industry.
ECAI, 1982

1981
Impacts of Logic and Databases (Invited Paper)
Proceedings of the Very Large Data Bases, 1981

1979
Controlling Knowledge Deduction in a Declarative Approach.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

Background for Advances in Data Base Theory.
Proceedings of the Advances in Data Base Theory, 1979

1977
Data Base: Theory vs. Interpretation.
Proceedings of the Logic and Data Bases, 1977

An Overview and Intoduction to Logic and Data Bases.
Proceedings of the Logic and Data Bases, 1977

1970
Decomposition of Linear Sequential Machines. II.
Mathematical Systems Theory, 1970

1969
Recognition Time of Context-Free Languages by On-Line Turing Machines
Information and Control, September, 1969

Decomposition of Linear Sequential Machines.
Mathematical Systems Theory, 1969

1968
Infinite Linear Sequential Machines.
J. Comput. Syst. Sci., 1968


  Loading...