{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:10:04Z","timestamp":1749125404283,"version":"3.41.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,6,1]],"date-time":"1997-06-01T00:00:00Z","timestamp":865123200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,6,1]],"date-time":"1997-06-01T00:00:00Z","timestamp":865123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[1997,6]]},"DOI":"10.1023\/a:1005723423016","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T23:13:52Z","timestamp":1040512432000},"page":"357-398","source":"Crossref","is-referenced-by-count":2,"title":["Evaluation of Queries under Closed-World Assumption"],"prefix":"10.1007","volume":"18","author":[{"given":"Marek A.","family":"Suchenek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"117871_CR1","volume-title":"Introduction to Logic Programming","author":"Krzysztof R. Apt","year":"1988","unstructured":"Apt, Krzysztof R.: Introduction to Logic Programming, Report TR-87-35, University of Texas, Department of Computer Sciences, Austin, Texas 78712, 1988."},{"key":"117871_CR2","volume-title":"Handbook of Mathematical Logic","author":"Jon Barwise","year":"1978","unstructured":"Barwise, Jon: Handbook of Mathematical Logic, North-Holland, Amsterdam, 2nd edn, 1978.","edition":"2nd edn"},{"key":"117871_CR3","unstructured":"Chomicki, Jan and Subrahmanian, V. S.: Generalized closed world assumption is II2\n0-complete, Unpublished manuscript, 1989."},{"key":"117871_CR4","doi-asserted-by":"crossref","unstructured":"Fitting, Melvin: First-Order Logic and Automated Theorem Proving, Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4684-0357-2"},{"key":"117871_CR5","unstructured":"Liu, K. C. and Sunderraman, R.: An extension to the relational model for indefinite databases, in Proceedings of the ACM-IEEE Computer Society Fall Joint Computer Conference, Dallas, TX, ACM-IEEE, 1987, pp. 428\u2013435."},{"key":"117871_CR6","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/BFb0000066","volume-title":"Proceedings of 6th Conference on Automated Deduction, Lecture Notes in Computer Science","author":"Jack Minker","year":"1982","unstructured":"Minker, Jack: On indefinite databases and closed world assumption, in Proceedings of 6th Conference on Automated Deduction, Lecture Notes in Computer Science 138, Springer-Verlag, Berlin, New York, 1982, pp. 292\u2013308."},{"key":"117871_CR7","unstructured":"Rajasekar, Arcot: Semantics for Disjunctive Logic Programs, Report UMIACS-TR-89-122\/CSTR-2359, University of Maryland, Computer Science Report Series, College Park, Maryland 20742, 1989."},{"key":"117871_CR8","doi-asserted-by":"crossref","unstructured":"Rabin, Michael O.: Decidable theories, in Bar78, Chapter C.3, 1978, pp. 595\u2013629.","DOI":"10.1016\/S0049-237X(08)71116-9"},{"key":"117871_CR9","doi-asserted-by":"crossref","unstructured":"Reiter, Raymond: On closed world data bases, in Herv\u00e9 Gallaire and Jack Minker (eds), Logic and Data Bases, Plenum Press, 1978, pp. 55\u201376.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"117871_CR10","unstructured":"Shoenfield, Joseph R.: Mathematical Logic, Addison-Wesley Publishing, 1967."},{"key":"117871_CR11","first-page":"28","volume":"1","author":"Marek A. Suchenek","year":"1990","unstructured":"Suchenek, Marek A. and Sunderraman, Rajshekhar: On negative information in deductive data bases, Journal of Database Administration\n1(1990), 28\u201341. An invited paper.","journal-title":"Journal of Database Administration"},{"key":"117871_CR12","unstructured":"Suchenek, Marek. A.: Forcing versus closed world assumption, in Zbigniew W. Ra\u015b and Maria Zemankova (eds), Methodologies for Intelligent Systems, North-Holland, 1987, pp. 453\u2013460."},{"key":"117871_CR13","first-page":"243","volume-title":"Algebraic Logic and Universal Algebra in Computer Science","author":"Marek A. Suchenek","year":"1988","unstructured":"Suchenek, Marek A.: Incremental models of updating data bases, in Algebraic Logic and Universal Algebra in Computer Science, C. H. Bergman, R. D. Maddux, and D. L. Pigozzi (eds), Lecture Notes in Computer Science 425, Ames, Springer-Verlag, 1988, pp. 243\u2013271."},{"issue":"1","key":"117871_CR14","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1142\/S0129054190000059","volume":"1","author":"Marek A. Suchenek","year":"1990","unstructured":"Suchenek, Marek A.: Applications of Lyndon homomorphism theorems to the theory of minimal models, International Journal of Foundations of Computer Science\n1(1) (1990), 49\u201359.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"117871_CR15","first-page":"187","volume-title":"Informal Proceedings of 2nd Workshop on Structural Complexity and Recursiontheoretic Methods in Logic Programming, International Logic Programming Symposium","author":"Marek A. Suchenek","year":"1993","unstructured":"Suchenek, Marek A.: Alternative computations of minimal consequences in indefinite deductive data bases, in Informal Proceedings of 2nd Workshop on Structural Complexity and Recursiontheoretic Methods in Logic Programming, International Logic Programming Symposium, MSI Cornell University, Vancouver, British Columbia, Canada, 1993, pp. 187\u2013204."},{"key":"117871_CR16","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF00881837","volume":"10","author":"Marek A. Suchenek","year":"1993","unstructured":"Suchenek, Marek A.: First-order syntactic characterizations of minimal entailment, domain minimal entailment, and Herbrand entailment, Journal of Automated Reasoning\n10(1993), 237\u2013263.","journal-title":"Journal of Automated Reasoning"},{"key":"117871_CR17","first-page":"315","volume":"1","author":"Marek A. Suchenek","year":"1994","unstructured":"Suchenek, Marek A.: Preservation properties in deductive databases, Methods of Logic in Computer Science An International Journal\n1(1994), 315\u2013338. An invited paper.","journal-title":"Methods of Logic in Computer Science An International Journal"},{"key":"117871_CR18","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"A. Yahya","year":"1985","unstructured":"Yahya, A. and Henschen, L.: Deduction in non-Horn databases, Journal of Automated Reasoning\n1(1985), 141\u2013160.","journal-title":"Journal of Automated Reasoning"},{"key":"117871_CR19","unstructured":"Lifschitz, Vladimir: Personal Communication."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005723423016.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005723423016\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005723423016.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:40:02Z","timestamp":1749123602000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005723423016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,6]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,6]]}},"alternative-id":["117871"],"URL":"https:\/\/doi.org\/10.1023\/a:1005723423016","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1997,6]]}}}