{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:32:29Z","timestamp":1742387549668},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540531623"},{"type":"electronic","value":"9783540467380"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53162-9_41","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:00:30Z","timestamp":1330207230000},"page":"217-231","source":"Crossref","is-referenced-by-count":4,"title":["Eliminating negation from normal logic programs"],"prefix":"10.1007","author":[{"given":"Kanchana","family":"Kanchanasut","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"15_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":"15_CR2","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0743-1066(90)90023-X","volume":"8","author":"R. Barbuti","year":"1990","unstructured":"R. Barbuti, P. Mancarella, D. Pedreschi and F. Turini. A Transformational Approach to Negation in Logic Programming. J. Logic Programming, 8, pages 201\u2013228, 1990.","journal-title":"J. Logic Programming"},{"key":"15_CR3","unstructured":"D. Chan. Constructive Negation Based on the Completed Database. In R. D. Kowalski and K. Bowen, editors, Proc Fifth Intl. Conference and Symposium on Logic Programming, pages 111\u2013125. MIT Press, 1988."},{"key":"15_CR4","unstructured":"D. Chan and M. Wallace. A Treatment of Negation During Partial Evaluation. In H.D. Abramson and M.H. Rogers, editors, Meta-Programming in Logic Programming, pages 299\u2013318, MIT Press, 1989. Proceeding of the Meta88 Workshop, June 1988."},{"key":"15_CR5","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":"15_CR6","unstructured":"M. Falaschi, G. Levi, M. Martelli and C. Palamidessi A New Declarative Semantics for Logic Languages. In R. D. Kowalski and K. Bowen, editors, Proc Fifth Intl. Conference and Symposium on Logic Programming, pages 993\u20131005. MIT Press, 1988."},{"key":"15_CR7","unstructured":"P. M. Dung and K. Kanchanasut. A Fixpoint Approach to Declarative Semantics of Logic Programs. In E. L. Lusk and R. A. Overbeek, editors, Proc of the North American Conference on Logic Programming, pages 604\u2013625. MIT Press, 1989."},{"key":"15_CR8","unstructured":"M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programs. In R. Kowalski and K. Bowen, editors, Proceeding of the Fifth International Conference on Logic Programming, pages 1070\u20131079. Seattle, Washington, 1988."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J-L. Lassez. Constraint Logic Programming. In Proceedings Fourteenth ACM Symposium on the Principles of Programming Languages. pages 111\u2013119. Jan 1987.","DOI":"10.1145\/41625.41635"},{"key":"15_CR10","first-page":"142","volume":"3","author":"J. Jaffar","year":"1986","unstructured":"J. Jaffar and P. Stuckey. Canonical Logic Programs. Journal of Logic Programming 3. pages 142\u2013155. 1986.","journal-title":"Journal of Logic Programming"},{"key":"15_CR11","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":"15_CR12","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd and R. W. Topor. Making Prolog More Expressive, Journal of Logic Programming 3, 1984.","DOI":"10.1016\/0743-1066(84)90011-6"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"L. Naish. Negation and Quatifiers in NU-Prolog. In Proceedings Third International Conference on Logic Programming, pages 73\u201377. July, 1985.","DOI":"10.1007\/3-540-16492-8_111"},{"key":"15_CR14","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":"15_CR15","unstructured":"T. C. Przymusinski. Non-monotonic formalisms and logic programming. In G. Levi and M. Martelli, editors, Proceeding of the Sixth Logic Programming Symposium, pages 655\u2013674. MIT Press, Mass, 1989."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"K. Ross. A Procedural Semantics for Well Founded Negation in Logic Programs. In Proceeding of the Eighth ACM SICACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 22\u201333, 1989.","DOI":"10.1145\/73721.73724"},{"key":"15_CR17","unstructured":"T. Sato and H. Tamaki. Transformational Logic Program Synthesis. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 195\u2013201. ICOT. 1984."},{"key":"15_CR18","unstructured":"Z. Somogyi. A System of Precise Modes for Logic Programs. In J-L Lassez, editor, Proceeding of the Fourth International Conference in Logic Programming, pages 769\u2013785. MIT Press, 1987."},{"key":"15_CR19","doi-asserted-by":"crossref","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":"15_CR20","doi-asserted-by":"crossref","unstructured":"A. van Gelder, K. Ross and J.S. Schipf. Unfounded sets and well-founded semantics for general logic programs. In Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 221\u2013230, 1988.","DOI":"10.1145\/308386.308444"},{"key":"15_CR21","unstructured":"D.A. Wolfram, M. J. Maher and J-L Lassez. A Unified Treatment of Resolution Strategies for Logic Programs. In S-A Tarnlund, editor, Proceedings of the Second International Conference in Logic Programming, pages 263\u2013273, 1984."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53162-9_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:04:01Z","timestamp":1687284241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53162-9_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540531623","9783540467380"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-53162-9_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}