{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:29Z","timestamp":1725663509781},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540520481"},{"type":"electronic","value":"9783540468721"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-52048-1_34","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:19:56Z","timestamp":1330186796000},"page":"78-88","source":"Crossref","is-referenced-by-count":6,"title":["A natural semantics for logic programs with negation"],"prefix":"10.1007","author":[{"given":"Phan Minh","family":"Dung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kanchana","family":"Kanchanasut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"K. Apt, H. Blair and A. Walker. Towards a Theory of Declarative Knowledge, In J. Minker, editor, Foundation of Deductive Database and Logic Programming, pages 89\u2013148. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"7_CR3","unstructured":"P. M. Dung and K. Kanchanasut. A Fixpoint Approach to Declarative Semantics of Logic Programs. In Proc of the North American Conference on Logic Programming, Cleveland, Ohio, 1989."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"P.M. Dung and K. Kanchanasut. Constructive Semantics for Logic Programs. Technical Report, AIT-CS, 6\/89, April 1989.","DOI":"10.1007\/3-540-52048-1_34"},{"key":"7_CR5","unstructured":"M. Gelford and V. Lifschitz. The stable model semantics for logic programs. In Proc of the Fifth International Conference on Logic Programming, pages 1070\u20131079. Seatles, Washington, 1988."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"T. C. Przymusinski. On the declarative semantics of deductive database and logic programming. In J. Minker, editor, Foundation of Deductive Database and Logic Programming, pages 193\u2013216. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"7_CR8","unstructured":"H. Przymusinska and T. C. Przymusinski. Weakly perfect model semantics for logic programs. In Proc of the Fifth International Conference in Logic Programming, pages 1106\u20131120. Seatles, Washington, 1988."},{"key":"7_CR9","unstructured":"T. C. Przymusinski. Perfect model semantics. In Proc of the Fifth International Conference in Logic Programming, pages 1079\u20131096. Seatles, Washington, 1988."},{"key":"7_CR10","unstructured":"T. C. Przymusinski. Non-Monotonic Formalisms and Logic Programming. In Proc of the Sixth International Conference in Logic Programming, pages 655\u2013674. Lisbon, 1989."},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden van","year":"1976","unstructured":"M. van Emden and R. Kowalski. The semantics of logic as a programming language. Journal of the ACM 23: 733\u2013742, 1976.","journal-title":"Journal of the ACM"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0743-1066(89)90032-0","volume":"6","author":"A. Gelder van","year":"1989","unstructured":"A. van Gelder. Negation as failure using tight derivations for general logic programs. Journal of Logic Programming 6: 109\u2013133, 1989.","journal-title":"Journal of Logic Programming"},{"key":"7_CR13","unstructured":"A. van Gelder, K. Ross and J.S. Schipf. Unfounded sets and well-founded semantics for general logic programs. In Proc. of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, page 221\u2013230."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52048-1_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:23:09Z","timestamp":1605630189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52048-1_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540520481","9783540468721"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-52048-1_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}