{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:02Z","timestamp":1749221282027},"reference-count":9,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1985,11,1]],"date-time":"1985-11-01T00:00:00Z","timestamp":499651200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1985,11]]},"DOI":"10.1016\/0004-3702(85)90055-4","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"229-235","source":"Crossref","is-referenced-by-count":69,"title":["Closed-world databases and circumscription"],"prefix":"10.1016","volume":"27","author":[{"given":"Vladimir","family":"Lifschitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(85)90055-4_BIB1","series-title":"Logic and Data Bases","first-page":"55","article-title":"On closed world data bases","author":"Reiter","year":"1978"},{"key":"10.1016\/0004-3702(85)90055-4_BIB2","first-page":"295","article-title":"Circumscription\u2014a form of non-monotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(85)90055-4_BIB3","first-page":"295","article-title":"Applications of circumscription to formalizing commonsense knowledge","author":"McCarthy","year":"1984"},{"key":"10.1016\/0004-3702(85)90055-4_BIB4","first-page":"57","article-title":"Circumscription and implicit definability","author":"Doyle","year":"1984"},{"key":"10.1016\/0004-3702(85)90055-4_BIB5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1111\/j.1467-8640.1985.tb00055.x","article-title":"On the adequacy of predicate circumscription for closed-world reasoning","volume":"1","author":"Etherington","year":"1985","journal-title":"Computational Intelligence"},{"key":"10.1016\/0004-3702(85)90055-4_BIB6","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0743-1066(84)90023-2","article-title":"Negation as failure: a comparison of Clark's completed data base and Reiter's closed-world assumption","volume":"1","author":"Shepherdson","year":"1984","journal-title":"Logic Programming"},{"key":"10.1016\/0004-3702(85)90055-4_BIB7","series-title":"Logic and Data Bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/0004-3702(85)90055-4_BIB8","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/322186.322189","article-title":"Equality and domain closure in first order data bases","volume":"27","author":"Reiter","year":"1980","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(85)90055-4_BIB9","first-page":"463","article-title":"Some philosophical problems from the stand-point of artificial intelligence","volume":"4","author":"McCarthy","year":"1969"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370285900554?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370285900554?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T19:53:54Z","timestamp":1553630034000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370285900554"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,11]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1985,11]]}},"alternative-id":["0004370285900554"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(85)90055-4","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1985,11]]}}}