{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:43:36Z","timestamp":1725662616546},"publisher-location":"Boston, MA","reference-count":29,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781468433869"},{"type":"electronic","value":"9781468433845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/978-1-4684-3384-5_1","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"3-30","source":"Crossref","is-referenced-by-count":5,"title":["An Overview and Introduction to Logic and Data Bases"],"prefix":"10.1007","author":[{"given":"Herve","family":"Gallaire","sequence":"first","affiliation":[]},{"given":"Jack","family":"Minker","sequence":"additional","affiliation":[]},{"given":"Jean Marie","family":"Nicolas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","first-page":"47","volume-title":"A Complete Axiomatization for Functional and Multivalued Dependencies in Data Base Relations","author":"C Beeri","year":"1977","unstructured":"Beeri, C., Fagin, R. and Howard, H. J. [1977] A Complete Axiomatization for Functional and Multivalued Dependencies in Data Base Relations, Proceedings of ACM SIGMOD Conference, Toronto, Canada, August 1977, 47\u201361,"},{"key":"1_CR2","first-page":"23","volume-title":"Mathematical Foundations of Computer Science","author":"JM Cadiou","year":"1976","unstructured":"Cadiou, J. M, [1976] On Semantic Issues in the Relational Model of Data, In Mathematical Foundations of Computer Science, (A. Mazurkiewiz, Ed.), Vol. 45, Springer-Verlag, 1976, 23\u201328."},{"key":"1_CR3","first-page":"249","volume-title":"SEQUEL: A Structured English Query Language","author":"DD Chamberlin","year":"1974","unstructured":"Chamberlin, D.D., Boyce, R. F. [1974] SEQUEL: A Structured English Query Language, Proc. ACM SIGMOD Workshop on Data Description, Access and Control, May 1974, 249\u2013264."},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/356662.356665","volume":"8","author":"DD Chamberlin","year":"1976","unstructured":"Chamberlin, D. D. [1976] Relational Data Base Management Systems, Computing Surveys 8 (1976), 43\u2013663.","journal-title":"Computing Surveys"},{"key":"1_CR5","first-page":"1973","volume-title":"Symbolic Logic and Mechanical Theorem Proving, Computer Science and Applied Mathematics","author":"CL Chang","year":"1973","unstructured":"Chang, C. L. and Lee, R.C.T. [1973] Symbolic Logic and Mechanical Theorem Proving, Computer Science and Applied Mathematics, Series of Academic Press, Inc., New York, 1973."},{"issue":"6","key":"1_CR6","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E. F. [1970] A Relational Model of Data for Large Shared Data Banks, CACM 13, 6 (June 1970), 377\u2013387.","journal-title":"CACM"},{"key":"1_CR7","first-page":"65","volume-title":"Data Base Systems","author":"EF Codd","year":"1972","unstructured":"Codd, E. F. [1972] Relational Completeness of Data Base Sublanguages, In Data Base Systems (R. Rustin, Ed.), Prentice-Hall, Englewood Cliffs, N.J., 1972, 65\u201398."},{"key":"1_CR8","volume-title":"Some Experiences on Natural Language Question-Answering Systems","author":"V Dahl","year":"1977","unstructured":"Dahl, V. [1977] Some Experiences on Natural Language Question-Answering Systems, Proceedings of the Workshop on Logic and Data Bases, Toulouse, November 1977."},{"key":"1_CR9","volume-title":"An Introduction to Database Systems 2nd Ed","author":"CJ Date","year":"1977","unstructured":"Date, C. J. [1977] An Introduction to Database Systems 2nd Ed., Addison-Wesley Publishing Co., Reading, Mass., 1977."},{"key":"1_CR10","volume-title":"Logic and Semantic Networks, Department of Computing and Control Research Report, Imperial College, London, June 1977","author":"A Deliyanni","year":"1977","unstructured":"Deliyanni, A. and Kowalski, R. A. [1977] Logic and Semantic Networks, Department of Computing and Control Research Report, Imperial College, London, June 1977. Also Proceedings of the Workshop on Logic and Data Bases, Toulouse, November 1977."},{"key":"1_CR11","volume-title":"A Mathematical Introduction to Logic","author":"HB Enderton","year":"1972","unstructured":"Enderton, H. B. [1972] A Mathematical Introduction to Logic, Academic Press, New York, 1972."},{"key":"1_CR12","first-page":"385","volume-title":"Practical Application of an AI Language, II","author":"I Futo","year":"1977","unstructured":"Futo, I., Darvas, F., and Cholnoky, E. [1977] Practical Application of an AI Language, II, Proceedings of the Hungarian Conference on Computing, Budapest, 1977, 385\u2013400."},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/BF01696781","volume":"37","author":"K G\u00f6del","year":"1930","unstructured":"G\u00f6del, K. [1930] Die Vollst\u00e4ndigkeit der Axiome des logischen Funktionenkalkiu, Monatshefte f\u00fcr Mathematik und Physik 37, (1930), 349\u2013360.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"1_CR14","first-page":"582","volume-title":"From Frege to G\u00f6del","author":"K G\u00f6del","year":"19301967","unstructured":"G\u00f6del, K. [1930] Also, The Completeness of the Axioms of the Functional Calculus of Logic, In From Frege to G\u00f6del (J. van Heijenoort, Ed.), Harvard University Press, Cambridge, Mass., 1967, 582\u2013591."},{"key":"1_CR15","volume-title":"Current Trends in Programming Methodology, Vol. 3, Data Structuring","author":"JG Goguen","year":"1976","unstructured":"Goguen, J. G., Thatcher, C. W. and Wagner, E. G. [1976] An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, In Current Trends in Programming Methodology, Vol. 3, Data Structuring (R. Yeh, Ed.), Prentice Hall, Englewood Cliffs, N.J., 1976."},{"key":"1_CR16","series-title":"Memo No. 75","volume-title":"Logic for Problem Solving","author":"RA Kowalski","year":"1974","unstructured":"Kowalski, R. A. [1974] Logic for Problem Solving, Memo No. 75, Department of Computational Logic, University of Edinburgh, Edinburgh, 1974."},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"RA Kowalski","year":"1976","unstructured":"Kowalski, R. A. and van Emden, M. [1976] The Semantics of Predicate Logic as a Programming Language, JACM 23 (October 1976), 733\u2013742,","journal-title":"JACM"},{"issue":"11","key":"1_CR18","doi-asserted-by":"crossref","first-page":"715","DOI":"10.1145\/363790.363817","volume":"10","author":"R Levien","year":"1967","unstructured":"Levien, R, and Maron, M. E. [1967] A Computer System for Inference Execution and Data Retrieval, CACM 10, 11 (Nov. 1967), 715\u2013721.","journal-title":"CACM"},{"key":"1_CR19","volume-title":"Ph.D. Thesis, Department of Computer Science, University of Maryland, College Park, Maryland","author":"JR McSkimin","year":"1976","unstructured":"McSkimin, J. R. [1976] \u201cThe Use of Semantic Information in Deductive Question-Answering Systems,\u201d Ph.D. Thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 1976."},{"key":"1_CR20","first-page":"50","volume-title":"The use of a Semantic Network on a Deductive Question-Answering System","author":"JR McSkimin","year":"1977","unstructured":"McSkimin, J. R. and Minker, J. [1977] The use of a Semantic Network on a Deductive Question-Answering System, Proceedings IJCAI-77, Cambridge, Mass., 1977, 50\u201358."},{"key":"1_CR21","volume-title":"Associative Networks \u2014 The Representation and Use of Knowledge in Computers","author":"JR McSkimin","year":"1978","unstructured":"McSkimin, J. R. and Minker, J. [1978] A Predicate Calculus Based Semantic Network for Question-Answering Systems, In Associative Networks \u2014 The Representation and Use of Knowledge in Computers (N. Findler, Ed.), Academic Press, New York, in press."},{"key":"1_CR22","first-page":"1964","volume-title":"Introduction to Mathematical Logic","author":"E Mendelson","year":"1964","unstructured":"Mendelson, E. [1964] Introduction to Mathematical Logic, Van Nostrand, New York, 1964."},{"key":"1_CR23","first-page":"211","volume-title":"The Psychology of Computer Vision","author":"M Minsky","year":"19751975","unstructured":"Minsky, M. [1975] A Framework for Representing Knowledge, In The Psychology of Computer Vision (P. Winston, Ed.), McGraw-Hill, New York, 1975, 211\u2013280."},{"key":"1_CR24","first-page":"216","volume-title":"Semantic Information Processing","author":"MR Quillian","year":"19681968","unstructured":"Quillian, M. R. [1968] Semantic Memory, In Semantic Information Processing (M. Minsky, Ed.), M.I.T. Press, Cambridge, Mass., 1968, 216\u2013270."},{"key":"1_CR25","series-title":"BBN Report No. 3649","doi-asserted-by":"crossref","DOI":"10.21236\/ADA046550","volume-title":"An Approach to Deductive Question-Answering","author":"R Reiter","year":"1977","unstructured":"Reiter, R. [1977] An Approach to Deductive Question-Answering, BBN Report No. 3649, Bolt, Beranek and Newman, Inc., Cambridge, Mass., Sept. 1977."},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J. A. [1965] A Machine Oriented Logic Based on the Resolution Principle, JACM 12 (Jan. 1965), 25\u201341.","journal-title":"JACM"},{"key":"1_CR27","volume-title":"PROLOG: Manuel de Reference et d\u2019Utilisation, Groupe d\u2019Intelligence Artificielle, U.E.R.","author":"P Roussel","year":"1975","unstructured":"Roussel, P. [1975] PROLOG: Manuel de Reference et d\u2019Utilisation, Groupe d\u2019Intelligence Artificielle, U.E.R., de Luminy, Universite d\u2019Aix-Marseille, Sept. 1975."},{"key":"1_CR28","volume-title":"Data Base Managementsystems","author":"DC Tsichritzis","year":"1977","unstructured":"Tsichritzis, D. C. and Lochovsky, F. H. [1977] Data Base Managementsystems, Academic Press, New York, 1977."},{"key":"1_CR29","volume-title":"Implementing PROLOG \u2014 Compiling Predicate Logic Programs","author":"D Warren","year":"1977","unstructured":"Warren, D. [1977] Implementing PROLOG \u2014 Compiling Predicate Logic Programs, Dept. of AI, No. 39, Edinburgh, 1977."}],"container-title":["Logic and Data Bases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4684-3384-5_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T12:50:12Z","timestamp":1619873412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_1","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}