Jean-Marie Nicolas

26 papers A* 1A 1Journal 6Unranked 15
YearRankTypeTitle / Venue / Authors
1990 — ed.
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
Won Kim, Jean-Marie Nicolas, Shojiro Nishio
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
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
1987 — conf
Sur l'intégration des technologies IA et BD.
SPLT
Jean-Marie Nicolas
1986 J jnl
Logic and databases: a response.
SIGACT News
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
1986 — conf
Some Steps Towards a DBMS-based KBMS.
IFIP Congress
Jorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace
1985 — conf
How to Look at Deductive Databases.
Foundations of Knowledge Base Management (Xania)
Hervé Gallaire, Jean-Marie Nicolas
1985 — conf
Logic Databases.
Wissensbasierte Systeme
Jean-Marie Nicolas
1985 — conf
The Role of Logic for Data and Knowledge Bases: A Brief Summary.
Foundations of Knowledge Base Management (Xania)
Wolfgang Bibel, Jean-Marie Nicolas
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 — conf
An Outline of BDGEN: A Deductive DBMS.
IFIP Congress
Jean-Marie Nicolas, Kioumars Yazdanian
1983 — conf
Bases de données logiques et programmation en logique.
SPLT
Jean-Marie Nicolas
1983 J jnl
On recursive axioms in deductive databases.
Inf. Syst.
Jack Minker, Jean-Marie Nicolas
1982 J jnl
Logic for Improving Integrity Checking in Relational Data Bases.
Acta Informatica
Jean-Marie Nicolas
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
1979 — conf
Background for Advances in Data Base Theory.
Advances in Data Base Theory
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
1978 — conf
First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies.
SIGMOD Conference
Jean-Marie Nicolas
1978 A* conf
Mutual Dependencies and Some Results on Undecomposable Relations.
VLDB
Jean-Marie Nicolas
1978 — conf
The Language of SYNTEX-2, an Implemented Relational-like DBMS.
Jerusalem Conference on Information Technology
Robert Demolombe, Michel Lemaître, Jean-Marie Nicolas
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
1977 — conf
Integrity Checking in Deductive Data Bases.
Logic and Data Bases
Jean-Marie Nicolas, Kioumars Yazdanian
1974 — conf
Natural Language Question Answering and Automatic Deduction in the System Syntex.
IFIP Congress
Jean-Marie Nicolas, Jean-Claude Syre