Jean-Marie Nicolas

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

1987

Logic Approach to Knowledge and Data Bases at ECRC.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1987

Sur l'intégration des technologies IA et BD.

[BibT_eX]

Proceedings of the SPLT'87, 1987

1986

Logic and databases: a response.

[BibT_eX]

[DOI]

SIGACT News, 1986

Some Steps Towards a DBMS-based KBMS.

[BibT_eX]

Proceedings of the Information Processing 86, 1986

1985

Logic Databases.

[BibT_eX]

[DOI]

Proceedings of the Wissensbasierte Systeme, 1985

How to Look at Deductive Databases.

[BibT_eX]

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

The Role of Logic for Data and Knowledge Bases: A Brief Summary.

[BibT_eX]

Wolfgang Bibel

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

On recursive axioms in deductive databases.

[BibT_eX]

[DOI]

Inf. Syst., 1983

Bases de données logiques et programmation en logique.

[BibT_eX]

Proceedings of the SPLT'83, 1983

An Outline of BDGEN: A Deductive DBMS.

[BibT_eX]

Kioumars Yazdanian

Proceedings of the Information Processing 83, 1983

1982

Logic for Improving Integrity Checking in Relational Data Bases.

[BibT_eX]

[DOI]

Acta Informatica, 1982

1979

Background for Advances in Data Base Theory.

[BibT_eX]

Proceedings of the Advances in Data Base Theory, 1979

1978

Mutual Dependencies and Some Results on Undecomposable Relations.

[BibT_eX]

Proceedings of the Fourth International Conference on Very Large Data Bases, 1978

First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies.

[BibT_eX]

[DOI]

Proceedings of the 1978 ACM SIGMOD International Conference on Management of Data, Austin, Texas, USA, May 31, 1978

The Language of SYNTEX-2, an Implemented Relational-like DBMS.

[BibT_eX]

Robert Demolombe

Michel Lemaître

Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

1977

Integrity Checking in Deductive Data Bases.

[BibT_eX]

[DOI]

Kioumars Yazdanian

Proceedings of the Logic and Data Bases, 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

1974

Natural Language Question Answering and Automatic Deduction in the System Syntex.

[BibT_eX]