Hervé Gallaire

Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994

Rule-Based Object Coordination.

[BibT_eX]

[DOI]

Jean-Marc Andreoli

Remo Pareschi

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

1992

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

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1990

Logic and Databases: An Assessment.

[BibT_eX]

[DOI]

Proceedings of the ICDT'90, 1990

1989

Can We Reach a Uniform Paradigm for Deductive Query Evaluation?

[BibT_eX]

[DOI]

Rainer Manthey

Proceedings of the Wissensbasierte Systeme, 1989

From a laguna to open waters: Another view on the next generations of databases.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Conference on Very Large Data Bases, 1989

Programmation en Logique: faire encore plus.

[BibT_eX]

Proceedings of the SPLT'89, 1989

1988

Multiple Reasoning Styles in Logic Programming.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

ECRC: A joint industrial research centre.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 1987

Logic Approach to Knowledge and Data Bases at ECRC.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1987

Boosting Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1987

1986

Logic and databases: a response.

[BibT_eX]

[DOI]

SIGACT News, 1986

Bridging the Gap between AI and Databases: Logic Approach.

[BibT_eX]

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

Merging Objects and Logic Programming: Relational Semantics.

[BibT_eX]

[DOI]

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

Logic Programming: Further Developments.

[BibT_eX]

Proceedings of the 1985 Symposium on Logic Programming, 1985

Logic Programming Development (Abstract).

[BibT_eX]

[DOI]

Proceedings of the GWAI-85, 1985

How to Look at Deductive Databases.

[BibT_eX]

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

1984

Logic and Databases: A Deductive Approach.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1984

1983

PROLOG et Bases de Données.

[BibT_eX]

Proceedings of the SPLT'83, 1983

A Panel on AI and Databases.

[BibT_eX]

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Panel on the Fifth Generation Project.

[BibT_eX]

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Logical Data Bases vs Deductive Data Bases.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982

Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressions.

[BibT_eX]

Alain Grumbach

E. Papon

Proceedings of the SPLT'82, 1982

Artificial Intelligence and Industry.

[BibT_eX]

Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1981

Impacts of Logic and Databases (Invited Paper)

[BibT_eX]

Proceedings of the Very Large Data Bases, 1981

1979

Controlling Knowledge Deduction in a Declarative Approach.

[BibT_eX]

Claudine Lasserre

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

Background for Advances in Data Base Theory.

[BibT_eX]

Proceedings of the Advances in Data Base Theory, 1979

1977

Data Base: Theory vs. Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Logic and Data Bases, 1977

An Overview and Introduction to Logic and Data Bases.

[BibT_eX]

[DOI]

Proceedings of the Logic and Data Bases, 1977

1970

Decomposition of Linear Sequential Machines. II.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1970

1969

Recognition Time of Context-Free Languages by On-Line Turing Machines

[BibT_eX]

[DOI]

Inf. Control., September, 1969

Decomposition of Linear Sequential Machines.

[BibT_eX]

[DOI]