{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T11:02:28Z","timestamp":1775818948066,"version":"3.50.1"},"publisher-location":"Boston, MA","reference-count":12,"publisher":"Springer US","isbn-type":[{"value":"9781468433869","type":"print"},{"value":"9781468433845","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/978-1-4684-3384-5_3","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"55-76","source":"Crossref","is-referenced-by-count":349,"title":["On Closed World Data Bases"],"prefix":"10.1007","author":[{"given":"Raymond","family":"Reiter","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","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, N.Y., 1978, 293\u2013322."},{"key":"3_CR2","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."},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1145\/321850.321857","volume":"21","author":"L Henschen","year":"1974","unstructured":"Henschen, L. and Wos, L. [1974] Unit Refutations and Horn Sets, JACM 21, 4 (October 1974), 590\u2013605.","journal-title":"JACM"},{"key":"3_CR4","series-title":"AI Memo No. 251","volume-title":"Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot","author":"C Hewitt","year":"1972","unstructured":"Hewitt, C. [1972] Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot, AI Memo No. 251, MIT Project MAC., Cambridge, Mass., April 1972."},{"key":"3_CR5","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 Bases: Theory vs. Interpretation, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 33\u201354."},{"key":"3_CR6","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, Stockholm, Sweden, August, 1974."},{"key":"3_CR7","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":"3_CR8","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, N.Y., 1978, 149\u2013177."},{"key":"3_CR9","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, (January 1965), 25\u201341.","journal-title":"JACM"},{"key":"3_CR10","volume-title":"PROLOG: Manuel de Reference et d\u2019Utilisation, Groupe dfIntelligence Artificielle, U.E.R","author":"P Roussel","year":"1975","unstructured":"Roussel, P. [1975] PROLOG: Manuel de Reference et d\u2019Utilisation, Groupe dfIntelligence Artificielle, U.E.R. de Luminy, Universite d\u2019Aix-Marseille, Sept. 1975."},{"key":"3_CR11","volume-title":"Computation and Deductive Information Retrieval","author":"MH Emden van","year":"1977","unstructured":"van Emden, M. H. [1977] Computation and Deductive Information Retrieval, Dept. of Computer Science, University of Waterloo, Ont., Research Report CS-77\u201316, May 1977."},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"HH Emden van","year":"1976","unstructured":"van Emden, H.H. and Kowalski, R.A. [1976] The Semantics of Predicate Logic as a Programming Language, JACM 23, (Oct. 1976), 733\u2013742.","journal-title":"JACM"}],"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_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T12:50:15Z","timestamp":1619873415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_3","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}