{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:27Z","timestamp":1725663687965},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569923"},{"type":"electronic","value":"9783540478904"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56992-8_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:00:31Z","timestamp":1330257631000},"page":"403-409","source":"Crossref","is-referenced-by-count":0,"title":["Negation-complete logic programs"],"prefix":"10.1007","author":[{"given":"Robert F.","family":"St\u00e4rk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"24_CR1","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, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0743-1066(85)90014-7","volume":"2","author":"M. Fitting","year":"1985","unstructured":"M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2:295\u2013312, 1985.","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"24_CR3","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"K. Kunen. Negation in logic programming. Journal of Logic Programming, 4(4):289\u2013308, 1987.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"24_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"K. Kunen. Signed data dependencies in logic programs. Journal of Logic Programming, 7(3):231\u2013245, 1989.","journal-title":"Journal of Logic Programming"},{"key":"24_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer, Berlin, second edition, 1987.","edition":"second edition"},{"key":"24_CR6","first-page":"19","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J. C. Shepherdson","year":"1987","unstructured":"J. C. Shepherdson. Negation in logic programming. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 19\u201388. Morgan Kaufmann, Los Altos, 1987."},{"issue":"6","key":"24_CR7","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1093\/logcom\/1.6.811","volume":"1","author":"R. F. St\u00e4rk","year":"1991","unstructured":"R. F. St\u00e4rk. A complete axiomatization of the three-valued completion of logic programs. J. of Logic and Computation, 1(6):811\u2013834, 1991.","journal-title":"J. of Logic and Computation"},{"key":"24_CR8","volume-title":"Technical report","author":"R. F. St\u00e4rk","year":"1992","unstructured":"R. F. St\u00e4rk. Cut-property and negation as failure. Technical report, University of Berne, Switzerland, 1992."},{"unstructured":"R. F. St\u00e4rk. The Proof Theory of Logic Programs with Negation. PhD thesis, University of Berne, 1992.","key":"24_CR9"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56992-8_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:58:03Z","timestamp":1619571483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56992-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569923","9783540478904"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-56992-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}