{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:24Z","timestamp":1760202624040},"publisher-location":"Boston, MA","reference-count":26,"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_4","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"77-103","source":"Crossref","is-referenced-by-count":42,"title":["Logic for Data Description"],"prefix":"10.1007","author":[{"given":"Robert","family":"Kowalski","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Application of Mechanical Theorem Proving to Symbolic Calculus","author":"M Bergman","year":"1973","unstructured":"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."},{"key":"4_CR2","first-page":"108","volume-title":"Pattern Recognition and Artificial Intelligence","author":"CL Chang","year":"1976","unstructured":"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\u2013134."},{"key":"4_CR3","first-page":"939","volume-title":"A First Order Theory of Data and Programs","author":"KL Clark","year":"1977","unstructured":"Clark, K. L., Tarnlund, S. A. [1977] A First Order Theory of Data and Programs, Proceedings IFIP 77, North-Holland, 1977, 939\u2013944."},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"KL Clark","year":"1978","unstructured":"Clark, K. L. [1978] Negation as Failure, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 293\u2013322."},{"issue":"6","key":"4_CR5","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 for Large Shared Data Bases, CACM 13, 6 (June 1970), 377\u2013387.","journal-title":"CACM"},{"key":"4_CR6","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":"4_CR7","volume-title":"Machine Intelligence 4","author":"JL Darlington","year":"1969","unstructured":"Darlington, J. L. [1969] Theorem Proving and Information Retrieval, In Machine Intelligence 4 (B. Meltzer and D. Michie, Eds.), American Elsevier Publishing Co., Inc. New York, 1969."},{"key":"4_CR8","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":"4_CR9","volume-title":"Some Implemented and Planned PROLOG Applications","author":"I Futo","year":"1977","unstructured":"Futo, I., Szeredi, P., and Darvas, F. [1977] Some Implemented and Planned PROLOG Applications, Workshop of Logic and Data Bases, Toulouse, November 1977."},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-1-4684-3384-5_1","volume-title":"Logic and Data Bases","author":"H Gallaire","year":"1978","unstructured":"Gallaire, H., Minker, J. and Nicolas, J.M. [1978] An Overview and Introduction to Logic and Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.). Plenum Press, New York, 1978, 3\u201330."},{"volume-title":"Logic and Data Bases","year":"19781978","key":"4_CR11","unstructured":"Gallaire, H. and Minker, J., Editors [1978] Logic and Data Bases, Plenum Press, New York, 1978."},{"key":"4_CR12","first-page":"183","volume-title":"Machine Intelligence 4","author":"C Green","year":"1969","unstructured":"Green, C. [1969] Theorem-Proving by Resolution as a Basis for Question Answering Systems, In Machine Intelligence 4 (B. Meltzer and D. Michie, Eds.), American Elsevier Publishing Co., Inc., New York, 1969, 183\u2013205."},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-1-4684-3384-5_7","volume-title":"Logic and Data Bases","author":"C Kellogg","year":"1978","unstructured":"Kellogg, C., Klahr, P., Travis, L. [1978] Deductive Planning and Pathfinding for Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum, N.Y., 179\u2013200."},{"key":"4_CR14","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, 1974."},{"key":"4_CR15","volume-title":"Algorithm = Logic + Control, Research Report, Department of Computing and Control","author":"RA Kowalski","year":"1976","unstructured":"Kowalski, R. A. [1976] Algorithm = Logic + Control, Research Report, Department of Computing and Control, Imperial College, London, 1976."},{"key":"4_CR16","first-page":"79","volume-title":"Performing Inferences over Relational Data Bases","author":"J Minker","year":"1975","unstructured":"Minker, J. [1975] Performing Inferences over Relational Data Bases, Proceedings of 1975 ACM SIGMOD International Conference on Management of Data, 1975, 79\u201391."},{"key":"4_CR17","first-page":"211","volume-title":"The Psychology of Computer Vision","author":"M Minsky","year":"1975","unstructured":"Minsky, M. [1975] A Framework for the Representation of Knowledge, In The Psychology of Computer Vision (P. Winsont, Ed.), McGraw Hill, New York, 1975, 211\u2013280."},{"key":"4_CR18","volume-title":"Natural Question Answering and Automatic Deduction in the System SYNTEX","author":"JM Nicolas","year":"1974","unstructured":"Nicolas, J. M. and Syre, J. C. [1974] Natural Question Answering and Automatic Deduction in the System SYNTEX, Proceedings IFIP Congress 1974, North Holland Publishing Co., Stockholm, Sweden, August 1974."},{"key":"4_CR19","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-1-4684-3384-5_2","volume-title":"Logic and Data Bases","author":"JM Nicolas","year":"1978","unstructured":"Nicolas, J. M. and Gallaire, H. [1978] Data Base: Theory vs. Interpretation, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 33\u201354."},{"key":"4_CR20","first-page":"409","volume-title":"Logic and Data Bases","author":"A Pirotte","year":"1978","unstructured":"Pirotte, A. [1978] High Level Data Base Query Languages, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 409\u2013436."},{"key":"4_CR21","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Basest","author":"R Reiter","year":"1978","unstructured":"Reiter, R. [1978] On Closed World Data Bases, In Logic and Data Basest. (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 55\u201376."},{"key":"4_CR22","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-1-4684-3384-5_6","volume-title":"Logic and Data Bases","author":"R Reiter","year":"1978","unstructured":"Reiter, R. [1978] Deductive Question-Answering on Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 149\u2013177."},{"key":"4_CR23","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, Universit\u00e9 dfAix-Marseule, Sept. 1975."},{"key":"4_CR24","volume-title":"Formal Description of Programming- Concepts","author":"MH Emden van","year":"1979","unstructured":"van Emden, M. H. [1979] Computation and Deductive Information Retrieval, In Formal Description of Programming- Concepts (E. Neuhold, Ed.), North-Holland, to be published."},{"key":"4_CR25","first-page":"431","volume-title":"Query-by-Example","author":"MM Zloof","year":"1975","unstructured":"Zloof, M. M. [1975] Query-by-Example, Proceedings AFIPS 1975 NCC., Vol 44, AFIPS Press, Montvale, N. J., 1975, 431\u2013348."},{"issue":"6","key":"4_CR26","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/359605.359615","volume":"20","author":"MM Zloof","year":"1977","unstructured":"Zloof, M. M. and deLong, S. P. [1977] The System for Business Automation (SBA): Programming Language, CACM 20, 6 (June 1977), 385\u2013396.","journal-title":"CACM"}],"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_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T12:50:25Z","timestamp":1619873425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_4","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}