{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T10:08:28Z","timestamp":1759226908913},"reference-count":8,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780934613408"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"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":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1016\/b978-0-934613-40-8.50008-7","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T16:05:11Z","timestamp":1404230711000},"page":"177-192","source":"Crossref","is-referenced-by-count":43,"title":["On the Declarative Semantics of Logic Programs with Negation"],"prefix":"10.1016","author":[{"given":"Vladimir","family":"Lifschitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-934613-40-8.50008-7_bib1","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"89","article-title":"Towards a Theory of Declarative Knowledge","author":"Apt","year":"1988"},{"issue":"3","key":"10.1016\/B978-0-934613-40-8.50008-7_bib2","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","article-title":"Contributions to the Theory of Logic Programming","volume":"29","author":"Apt","year":"1982","journal-title":"JACM"},{"key":"10.1016\/B978-0-934613-40-8.50008-7_bib3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","article-title":"Horn Clause Queries and Generalizations","volume":"1","author":"Chandra","year":"1985","journal-title":"The Journal of Logic Programming"},{"issue":"4","key":"10.1016\/B978-0-934613-40-8.50008-7_bib4","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The Semantics of Predicate Logic as a Programming Language","volume":"23","author":"Emden","year":"1976","journal-title":"JACM"},{"key":"10.1016\/B978-0-934613-40-8.50008-7_bib5","unstructured":"Lifschitz, V. [1986], Pointwise Circumscription: Preliminary Report, Proceedings AAAI-86 1, 406\u2013410"},{"key":"10.1016\/B978-0-934613-40-8.50008-7_bib6","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of Circumscription to Formalizing Common-sense Knowledge","volume":"28","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-0-934613-40-8.50008-7_bib7","doi-asserted-by":"crossref","unstructured":"Morris, K., Ullman, J. D. and Van Gelder, A. [1986], Design Overview of the NAIL! System, in Third International Conference on Logic Programming, Lecture Notes in Computer Science 225 (G. Goos and J. Hartmanis, Eds.), Springer-Verlag, 554\u2013568","DOI":"10.1007\/3-540-16492-8_104"},{"key":"10.1016\/B978-0-934613-40-8.50008-7_bib8","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"149","article-title":"Negation as Failure Using Tight Derivations for General Logic Programs","author":"Van Gelder","year":"1988"}],"container-title":["Foundations of Deductive Databases and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780934613408500087?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780934613408500087?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T08:27:58Z","timestamp":1565598478000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780934613408500087"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9780934613408"],"references-count":8,"URL":"https:\/\/doi.org\/10.1016\/b978-0-934613-40-8.50008-7","relation":{},"subject":[],"published":{"date-parts":[[1988]]}}}