default search action
Jean-Marie Nicolas 0001
Person information
- affiliation: ECRC, Munich, Germany
- affiliation (former): ONERA-CERT, Toulouse, France
Other persons with the same name
- Jean-Marie Nicolas 0002 — Telecom Paris, Signal and Image Processing Department, France (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
1990 – 1999
- 1990
- [c17]Hervé Gallaire, Jean-Marie Nicolas:
Logic and Databases: An Assessment. ICDT 1990: 177-186 - [e3]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, ISBN 0-444-88433-5 [contents]
1980 – 1989
- 1989
- [c16]Rainer Manthey, Hervé Gallaire, Jean-Marie Nicolas:
Can We Reach a Uniform Paradigm for Deductive Query Evaluation? Wissensbasierte Systeme 1989: 17-32 - 1987
- [j6]Hervé Gallaire, Jean-Marie Nicolas:
Logic Approach to Knowledge and Data Bases at ECRC. IEEE Data Eng. Bull. 10(4): 2-9 (1987) - [j5]Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Response. ACM SIGPLAN Notices 22(6): 20-24 (1987) - [c15]Jean-Marie Nicolas:
Sur l'intégration des technologies IA et BD. SPLT 1987: 545- - 1986
- [j4]Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and databases: a response. SIGACT News 18(2): 52-56 (1986) - [c14]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
- [c13]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 - [c12]Hervé Gallaire, Jean-Marie Nicolas:
How to Look at Deductive Databases. Foundations of Knowledge Base Management (Xania) 1985: 119-130 - [c11]Jean-Marie Nicolas:
Logic Databases. Wissensbasierte Systeme 1985: 199-207 - 1984
- [j3]Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185 (1984) - [e2]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. Advances in Data Base Theory, Plemum Press 1984, ISBN 0-306-41636-0 [contents] - 1983
- [j2]Jack Minker, Jean-Marie Nicolas:
On recursive axioms in deductive databases. Inf. Syst. 8(1): 1-13 (1983) - [c10]Jean-Marie Nicolas, Kioumars Yazdanian:
An Outline of BDGEN: A Deductive DBMS. IFIP Congress 1983: 711-717 - [c9]Jean-Marie Nicolas:
Bases de données logiques et programmation en logique. SPLT 1983 - 1982
- [j1]Jean-Marie Nicolas:
Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica 18: 227-253 (1982) - 1981
- [e1]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. Advances in Data Base Theory, Plemum Press 1981, ISBN 0-306-40629-2 [contents]
1970 – 1979
- 1979
- [c8]Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Background for Advances in Data Base Theory. Advances in Data Base Theory 1979: 3-21 - 1978
- [c7]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 - [c6]Jean-Marie Nicolas:
First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. SIGMOD Conference 1978: 40-46 - [c5]Jean-Marie Nicolas:
Mutual Dependencies and Some Results on Undecomposable Relations. VLDB 1978: 360-367 - 1977
- [c4]Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
An Overview and Introduction to Logic and Data Bases. Logic and Data Bases 1977: 3-30 - [c3]Jean-Marie Nicolas, Hervé Gallaire:
Data Base: Theory vs. Interpretation. Logic and Data Bases 1977: 33-54 - [c2]Jean-Marie Nicolas, Kioumars Yazdanian:
Integrity Checking in Deductive Data Bases. Logic and Data Bases 1977: 325-344 - 1974
- [c1]Jean-Marie Nicolas, Jean-Claude Syre:
Natural Language Question Answering and Automatic Deduction in the System Syntex. IFIP Congress 1974: 595-599
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: