{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T22:31:04Z","timestamp":1784068264357,"version":"3.55.0"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1989,9,1]],"date-time":"1989-09-01T00:00:00Z","timestamp":620611200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1989,9]]},"DOI":"10.1007\/bf00248321","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T13:40:08Z","timestamp":1096983608000},"page":"293-307","source":"Crossref","is-referenced-by-count":54,"title":["Weak Generalized Closed World Assumption"],"prefix":"10.1007","volume":"5","author":[{"given":"Arcot","family":"Rajasekar","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jack","family":"Minker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"K. R. Apt, ?Introduction to Logic Programming?. In J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, North Holland. To appear."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. R. Apt","year":"1982","unstructured":"K. R. Apt and M. H.van Emden, ?Contributions to the Theory of Logic Programming?, J. ACM 29, 841?862 (1982).","journal-title":"J. ACM"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark, ?Negation as Failure?, In H. Gallaire and J. Minker (eds) Logic and Data Bases, pp. 293?322. Plenum Press, New York, 1978."},{"key":"CR4","volume-title":"Logic and Databases","year":"1978","unstructured":"H. Gallaire and J. Minker (eds) Logic and Databases. Plenum Press, New York, 1978."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"R. A. Kowalski","year":"1971","unstructured":"R. A. Kowalski and D. Kuehner, ?Linear Resolution with Selection Function?, Artificial Intelligence, 2 227?260 (1971).","journal-title":"Artificial Intelligence"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd, Foundations of Logic Programming. Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0304-3975(84)90017-3","volume":"29","author":"J.-L. Lassez","year":"1984","unstructured":"J.-L. Lassez and M. J. Maher, ?Closure and Fairness in the Semantics of Programming Logic?, Theoretical Computer Sci. 29, 167?184 (1984).","journal-title":"Theoretical Computer Sci."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"J. Minker, ?On Indefinite Databases and the Closed World Assumption?, In Lecture Notes in Computer Science 138, pp. 292?308, Springer-Verlag, 1982.","DOI":"10.1007\/BFb0000066"},{"key":"CR9","unstructured":"J. Minker and A. Rajasekar, ?A Fixpoint Semantics for Disjunctive Logic Programs?, To appear in Journal of Logic Programming."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"J. Minker and A. Rajasekar, ?Procedural Interpretation of Non-Horn Logic Programs?, In E. Lusk and R. Overbeek (eds), Proc. 9th International Conference on Automated Deduction, pp. 278?293, Argonne, IL, May 23?26, 1988.","DOI":"10.1007\/BFb0012837"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0020-0190(82)90035-7","volume":"14","author":"J. Minker","year":"1982","unstructured":"J. Minker and G. Zanon, ?An Extension to Linear Resolution with Selection Function?, Information Processing Letters 14, 191?194 (June 1982).","journal-title":"Information Processing Letters"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter, ?On Closed World Data Bases?. In H. Gallaire and J. Minker (eds), Logic and Data Bases, pp. 55?76, Plenum Press, New York, 1978."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BF00297247","volume":"4","author":"K. A. Ross","year":"1988","unstructured":"K. A. Ross and R. W. Topor, Inferring Negative Information from Disjunctive Databases, Journal of Automated Reasoning 4, 397?424 (1988).","journal-title":"Journal of Automated Reasoning"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"J. C. Shepherdson, ?Negation in Logic Programming?. In J. Minker (ed.) Foundations of Deductive Databases and Logic Programming. pp. 19?88, Morgan Kaufman Pub., 1988.","DOI":"10.1016\/B978-0-934613-40-8.50005-1"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"M. H.van Emden and R. A. Kowalski, ?The Semantics of Predicate Logic as a Programming Language?, J. ACM 23, 733?742 (1976).","journal-title":"J. ACM"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00248321.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00248321\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00248321","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T15:55:49Z","timestamp":1554306949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00248321"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,9]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1989,9]]}},"alternative-id":["BF00248321"],"URL":"https:\/\/doi.org\/10.1007\/bf00248321","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,9]]}}}