| 1990 |
|---|
| 25 | | Won Kim,
Jean-Marie Nicolas,
Shojiro Nishio:
Deductive and Object-Oriented Databases, Proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD'89), Kyoto Research Park, Kyoto, Japan, 4-6 December, 1989
North-Holland/Elsevier Science Publishers 1990 |
| 24 | EE | Hervé Gallaire,
Jean-Marie Nicolas:
Logic and Databases: An Assessment.
ICDT 1990: 177-186 |
| 1989 |
|---|
| 23 | | Rainer Manthey,
Hervé Gallaire,
Jean-Marie Nicolas:
Can We Reach a Uniform Paradigm for Deductive Query Evaluation?
Wissensbasierte Systeme 1989: 17-32 |
| 1987 |
|---|
| 22 | | Jean-Marie Nicolas:
Sur l'intégration des technologies IA et BD.
SPLT 1987: 545- |
| 21 | EE | Hervé Gallaire,
Jean-Marie Nicolas:
Logic Approach to Knowledge and Data Bases at ECRC.
IEEE Data Eng. Bull. 10(4): 2-9 (1987) |
| 20 | | Hervé Gallaire,
Jack Minker,
Jean-Marie Nicolas:
Logic and Databases: A Response.
SIGPLAN Notices 22(6): 20-24 (1987) |
| 1986 |
|---|
| 19 | | Jorge B. Bocca,
Hendrik Decker,
Jean-Marie Nicolas,
Laurent Vieille,
Mark Wallace:
Some Steps Towards a DBMS-based KBMS.
IFIP Congress 1986: 1061-1067 |
| 1985 |
|---|
| 18 | | Hervé Gallaire,
Jean-Marie Nicolas:
How to Look at Deductive Databases.
Foundations of Knowledge Base Management (Xania) 1985: 119-130 |
| 17 | | Wolfgang Bibel,
Jean-Marie Nicolas:
The Role of Logic for Data and Knowledge Bases: A Brief Summary.
Foundations of Knowledge Base Management (Xania) 1985: 3-22 |
| 16 | | Jean-Marie Nicolas:
Logic Databases.
Wissensbasierte Systeme 1985: 199-207 |
| 1984 |
|---|
| 15 | | Hervé Gallaire,
Jean-Marie Nicolas,
Jack Minker:
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
Plemum Press 1984 |
| 14 | EE | Hervé Gallaire,
Jack Minker,
Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach.
ACM Comput. Surv. 16(2): 153-185 (1984) |
| 1983 |
|---|
| 13 | | Jean-Marie Nicolas,
Kioumars Yazdanian:
An Outline of BDGEN: A Deductive DBMS.
IFIP Congress 1983: 711-717 |
| 12 | | Jean-Marie Nicolas:
Bases de données logiques et programmation en logique.
SPLT 1983 |
| 11 | | Jack Minker,
Jean-Marie Nicolas:
On recursive axioms in deductive databases.
Inf. Syst. 8(1): 1-13 (1983) |
| 1982 |
|---|
| 10 | | Jean-Marie Nicolas:
Logic for Improving Integrity Checking in Relational Data Bases.
Acta Inf. 18: 227-253 (1982) |
| 1981 |
|---|
| 9 | | Hervé Gallaire,
Jean-Marie Nicolas,
Jack Minker:
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
Plemum Press 1981 |
| 1979 |
|---|
| 8 | | Hervé Gallaire,
Jack Minker,
Jean-Marie Nicolas:
Background for Advances in Data Base Theory.
Advances in Data Base Theory 1979: 3-21 |
| 1978 |
|---|
| 7 | | Robert Demolombe,
Michel Lemaître,
Jean-Marie Nicolas:
The Language of SYNTEX-2, an Implemented Relational-like DBMS.
Jerusalem Conference on Information Technology 1978: 171-175 |
| 6 | EE | Jean-Marie Nicolas:
First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies.
SIGMOD Conference 1978: 40-46 |
| 5 | EE | Jean-Marie Nicolas:
Mutual Dependencies and Some Results on Undecomposable Relations.
VLDB 1978: 360-367 |
| 1977 |
|---|
| 4 | | Hervé Gallaire,
Jack Minker,
Jean-Marie Nicolas:
An Overview and Intoduction to Logic and Data Bases.
Logic and Data Bases 1977: 3-30 |
| 3 | | Jean-Marie Nicolas,
Kioumars Yazdanian:
Integrity Checking in Deductive Data Bases.
Logic and Data Bases 1977: 325-344 |
| 2 | | Jean-Marie Nicolas,
Hervé Gallaire:
Data Base: Theory vs. Interpretation.
Logic and Data Bases 1977: 33-54 |
| 1974 |
|---|
| 1 | | Jean-Marie Nicolas,
Jean-Claude Syre:
Natural Language Question Answering and Automatic Deduction in the System Syntex.
IFIP Congress 1974: 595-599 |
