Jean-Marie Nicolas

Affiliations:
  • ECRC, Munich, Germany
  • ONERA-CERT, Toulouse, France (former)


According to our database1, Jean-Marie Nicolas authored at least 22 papers between 1974 and 1990.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

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

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

Sur l'intégration des technologies IA et BD.
Proceedings of the SPLT'87, 1987

1986
Some Steps Towards a DBMS-based KBMS.
Proceedings of the Information Processing 86, 1986

1985
Logic Databases.
Proceedings of the Wissensbasierte Systeme, 1985

How to Look at Deductive Databases.
Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

The Role of Logic for Data and Knowledge Bases: A Brief Summary.
Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

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

1983
On recursive axioms in deductive databases.
Inf. Syst., 1983

Bases de données logiques et programmation en logique.
Proceedings of the SPLT'83, 1983

An Outline of BDGEN: A Deductive DBMS.
Proceedings of the Information Processing 83, 1983

1982
Logic for Improving Integrity Checking in Relational Data Bases.
Acta Informatica, 1982

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

1978
Mutual Dependencies and Some Results on Undecomposable Relations.
Proceedings of the Fourth International Conference on Very Large Data Bases, 1978

First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies.
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.
Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

1977
Integrity Checking in Deductive Data Bases.
Proceedings of the Logic and Data Bases, 1977

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

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

1974
Natural Language Question Answering and Automatic Deduction in the System Syntex.
Proceedings of the Information Processing, 1974


  Loading...