Logic for Data Description-Reference-Cited by-同舟云学术

Logic for Data Description

Published:1978 Issue: Volume: Page:77-103
ISSN:
Container-title:Logic and Data Bases
language:
Short-container-title:

Author:

Kowalski Robert

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4684-3384-5_4.pdf

Reference26 articles.

1. Bergman, M. and Kanoui, H. [1973] Application of Mechanical Theorem Proving to Symbolic Calculus, Third International Symposium on Advanced Computing Methods in Theoretical Physics, C.N.R.S., Marseille, June 1973.

2. Chang, C. L., [1976] DEDUCE: A Deductive Query Language for Relational Data Bases, In Pattern Recognition and Artificial Intelligence (C. H. Chen, Ed.), Academic Press, Inc., New York, 1976, 108–134.

3. Clark, K. L., Tarnlund, S. A. [1977] A First Order Theory of Data and Programs, Proceedings IFIP 77, North-Holland, 1977, 939–944.

4. Clark, K. L. [1978] Negation as Failure, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 293–322.

5. Codd, E. F. [1970] A Relational Model for Large Shared Data Bases, CACM 13, 6 (June 1970), 377–387.

Cited by 40 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Logic Learning in Adaline Neural Network;Pertanika Journal of Science and Technology;2021

2. Integrity constraints in OWL ontologies based on grounded circumscription;Frontiers of Computer Science;2013-10-21

3. Grounding Ontologies with Social Processes and Natural Language;Journal on Data Semantics;2013-05-29

4. Formalizing a Broader Recursion Coverage in SQL;Practical Aspects of Declarative Languages;2013

5. Towards Using OWL Integrity Constraints in Ontology Engineering;On the Move to Meaningful Internet Systems: OTM 2012 Workshops;2012