{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:42Z","timestamp":1725566322906},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_25","type":"book-chapter","created":{"date-parts":[[2010,9,18]],"date-time":"2010-09-18T21:34:52Z","timestamp":1284845692000},"page":"279-293","source":"Crossref","is-referenced-by-count":0,"title":["Soundness and Completeness of an \u201cEfficient\u201d Negation for Prolog"],"prefix":"10.1007","author":[{"given":"Juan Jos\u00e9","family":"Moreno-Navarro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susana","family":"Mu\u00f1oz-Hern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/BFb0014975","volume-title":"TAPSOFT \u201987 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987.","author":"R. Barbuti","year":"1987","unstructured":"Barbuti, R., Mancarella, D., Pedreschi, D., Turini, F.: Intensional negation of logic programs. In: TAPSOFT 1987 and CFLP 1987. LNCS, vol.\u00a0250, pp. 96\u2013110. Springer, Heidelberg (1987)"},{"issue":"3","key":"25_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0743-1066(90)90023-X","volume":"8","author":"R. Barbuti","year":"1990","unstructured":"Barbuti, R., Mancarella, D., Pedreschi, D., Turini, F.: A transformational approach to negation in logic programming. JLP\u00a08(3), 201\u2013228 (1990)","journal-title":"JLP"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0017473","volume-title":"Trees in Algebra and Programming - CAAP \u201994","author":"P. Bruscoli","year":"1994","unstructured":"Bruscoli, P., Levi, F., Levi, G., Meo, M.C.: Compilative constructive negation in constraint logic programs. In: Tison, S. (ed.) CAAP 1994. LNCS, vol.\u00a0787, pp. 52\u201367. Springer, Heidelberg (1994)"},{"key":"25_CR4","first-page":"111","volume-title":"Proc. Int. Conference on LP 1988","author":"D. Chan","year":"1988","unstructured":"Chan, D.: Constructive negation based on the completed database. In: Proc. Int. Conference on LP 1988, pp. 111\u2013125. The MIT Press, Cambridge (1988)"},{"key":"25_CR5","first-page":"477","volume-title":"Proc. NACLP 1989","author":"D. Chan","year":"1989","unstructured":"Chan, D.: An extension of constructive negation and its application in coroutining. In: Proc. NACLP 1989, pp. 477\u2013493. The MIT Press, Cambridge (1989)"},{"key":"25_CR6","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":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum Press, New York (1978)"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF01185404","volume":"33","author":"W. Drabent","year":"1995","unstructured":"Drabent, W.: What is a failure? An approach to constructive negation. Acta Informatica\u00a033, 27\u201359 (1995)","journal-title":"Acta Informatica"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Fages, F.: Constructive negation by pruning. Journal of Logic Programming\u00a032(2) (1997)","DOI":"10.1016\/S0743-1066(96)00092-1"},{"key":"25_CR9","volume-title":"The G\u00f6del Programming Language","author":"P.M. Hill","year":"1994","unstructured":"Hill, P.M., Lloyd, J.W.: The G\u00f6del Programming Language. The MIT Press, Cambridge (1994)"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"Kunen, K.: Negation in logic programming. JLP\u00a04, 289\u2013308 (1987)","journal-title":"JLP"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-24754-8_5","volume-title":"Functional and Logic Programming","author":"S. Mu\u00f1oz","year":"2004","unstructured":"Mu\u00f1oz, S., Mari\u00f1o, J., Moreno-Navarro, J.J.: Constructive intensional negation. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol.\u00a02998, pp. 39\u201354. Springer, Heidelberg (2004)"},{"key":"25_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-540-27775-0_20","volume-title":"Logic Programming","author":"S. Mu\u00f1oz","year":"2004","unstructured":"Mu\u00f1oz, S., Moreno-Navarro, J.J.: Implementation results in classical constructive negation. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 284\u2013298. Springer, Heidelberg (2004) (to appear)"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3-540-46584-7_9","volume-title":"Practical Aspects of Declarative Languages","author":"S. Mu\u00f1oz-Hern\u00e1ndez","year":"2000","unstructured":"Mu\u00f1oz-Hern\u00e1ndez, S., Moreno-Navarro, J.J.: How to incorporate negation in a Prolog compiler. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol.\u00a01753, pp. 124\u2013140. Springer, Heidelberg (2000)"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz-Hern\u00e1ndez, S., Moreno-Navarro, J.J., Hermenegildo, M.: Efficient negation using abstract interpretation. In: Nieuwenhuis, R., Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence and Reasoning, La Habana, Cuba (2001)","DOI":"10.1007\/3-540-45653-8_33"},{"key":"25_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Third International Conference on Logic Programming","author":"L. Naish","year":"1986","unstructured":"Naish, L.: Negation and quantifiers in NU-Prolog. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol.\u00a0225, Springer, Heidelberg (1986)"},{"issue":"2","key":"25_CR16","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1006\/inco.1995.1113","volume":"120","author":"A. Pierro Di","year":"1995","unstructured":"Di Pierro, A., Martelli, M., Palamidessi, C.: Negation as instantiation. Information and Computation\u00a0120(2), 263\u2013278 (1995)","journal-title":"Information and Computation"},{"key":"25_CR17","unstructured":"Przymusinski, T.C.: On constructive negation in logic programming. In: North American Conference on Logic Programming (October 1989)"},{"key":"25_CR18","unstructured":"Sato, T., Motoyoshi, F.: A complete top-down interpreter for first order programs. In: International Logic Programming Symposium, pp. 35\u201353 (1991)"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Shepherdson, J.C.: Negation as failure ii. JLP, 185\u2013202 (1985)","DOI":"10.1016\/0743-1066(85)90018-4"},{"issue":"1","key":"25_CR20","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1006\/inco.1995.1048","volume":"118","author":"P. Stuckey","year":"1995","unstructured":"Stuckey, P.: Negation and constraint logic programming. Information and Computation\u00a0118(1), 12\u201333 (1995)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:50:55Z","timestamp":1605743455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}