{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:18Z","timestamp":1761611238590},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,11,1]],"date-time":"2008-11-01T00:00:00Z","timestamp":1225497600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener. Comput."],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1007\/s00354-008-0053-9","type":"journal-article","created":{"date-parts":[[2009,1,5]],"date-time":"2009-01-05T23:28:38Z","timestamp":1231198118000},"page":"25-56","source":"Crossref","is-referenced-by-count":2,"title":["Implementing Constructive Intensional Negation"],"prefix":"10.1007","volume":"27","author":[{"given":"Julio","family":"Mari\u00f1o","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Jos\u00e9","family":"Moreno-Navarro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susana","family":"Munoz-Hernandez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,1,6]]},"reference":[{"key":"53_CR1","unstructured":"The ECLiPSe website at Imperial College. http:\/\/www.icparc.doc.ic.ac.uk\/eclipse\/ ."},{"key":"53_CR2","unstructured":"The XSB home page. http:\/\/www.cs.sunysb.edu\/~sbprolog\/xsb-page.html ."},{"key":"53_CR3","first-page":"96","volume":"250","author":"R. Barbuti","year":"1987","unstructured":"Barbuti, R., Mancarella, D., Pedreschi, D. and Turini, F., \u201cIntensional negation of logic programs,\u201d LNCS, 250, pp. 96\u2013110, 1987","journal-title":"LNCS"},{"issue":"3","key":"53_CR4","doi-asserted-by":"crossref","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. and Turini, F. (1990) \u201cA transformational approach to negation in logic programming,\u201d. JLP, 8(3): 201\u2013228","journal-title":"JLP"},{"key":"53_CR5","doi-asserted-by":"crossref","unstructured":"Bruscoli P., Levi F., Levi G. and Meo M.C., \u201cCompilative constructive negation in constraint logic programs,\u201d in Proc. of the Nineteenth Int. Colloquium on Trees in Algebra and Programming(Tyson, S. ed.), CAAP \u201994, LNCS, 787, pp. 52\u201367, Springer-Verlag, Berlin, 1994","DOI":"10.1007\/BFb0017473"},{"key":"53_CR6","unstructured":"Bueno, F., The CIAO Multiparadigm Compiler: A User\u2019s Manual, 1995."},{"key":"53_CR7","unstructured":"Chan, D., \u201cConstructive negation based on the completed database,\u201d in Proc. Int. Conf. on LP\u201988, pp. 111\u2013125. The MIT Press, 1988."},{"key":"53_CR8","unstructured":"Chan, D., \u201cAn extension of constructive negation and its application in coroutining,\u201d in Proc. NACLP\u201989, pp. 477\u2013493. The MIT Press, 1989."},{"key":"53_CR9","doi-asserted-by":"crossref","unstructured":"Clark, K.L., \u201cNegation as failure,\u201d in. In Logic and Databases(Gallaire, H. and Minker, J. eds.), pp. 293\u2013322. Plenum Press, New York, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"issue":"2","key":"53_CR10","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1006\/inco.1995.1113","volume":"120","author":"A. Pierro di","year":"1995","unstructured":"di Pierro, A., Martelli, M. and Palamidessi, C., \u201cNegation as instantiation,\u201d Information and Computation, 120(2), pp. 263\u2013278, 1995","journal-title":"Information and Computation"},{"key":"53_CR11","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0020-0190(00)00046-6","volume":"74","author":"A. Dovier","year":"2000","unstructured":"Dovier, A., Pontelli, E. and Rossi, G., \u201cA necessary condition for constructive negation in constraint logic programming,\u201d Information Processing Letters, 74, pp. 147\u2013156, 2000","journal-title":"Information Processing Letters"},{"key":"53_CR12","doi-asserted-by":"crossref","unstructured":"Fages, F., \u201cConstructive negation by pruning,\u201d Journal of Logic Programming, 32(2), 1997.","DOI":"10.1016\/S0743-1066(96)00092-1"},{"issue":"4","key":"53_CR13","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Fitting, M., \u201cA Kripke-Kleene semantics for logic programs,\u201d Journal of Logic Programming, 2(4), pp. 295\u2013312, 1985","journal-title":"Journal of Logic Programming"},{"key":"53_CR14","unstructured":"Hill, P.M. and Lloyd, J.W., The G\u00f6del Programming Language. The MIT Press, 1994."},{"key":"53_CR15","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"Kunen, K., \u201cNegation in logic programming,\u201d Journal of Logic Programming, 4, pp. 289\u2013308, 1987","journal-title":"Journal of Logic Programming"},{"key":"53_CR16","doi-asserted-by":"crossref","unstructured":"Lassez, J.L., Maher, M.J. and Marriott, K., \u201cElimination of negation in term algebras,\u201d in Mathematical Foundations of Computer Science, pp. 1\u201316, 1991.","DOI":"10.1007\/3-540-54345-7_44"},{"issue":"3","key":"53_CR17","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S. and Scarcello, F., \u201cThe DLV system for knowledge representation and reasoning,\u201d ACM Trans. Comput. Logic, 7(3), pp. 499\u2013562, 2006","journal-title":"ACM Trans. Comput. Logic"},{"key":"53_CR18","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W., Foundations of Logic Programming, 2nd ed., Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"53_CR19","doi-asserted-by":"crossref","unstructured":"Maher, M.J., \u201cComplete axiomatizations of the algebras of finite, rational and infinite trees,\u201d in Proc. os the 3rd IEEE Symp. on Logic in Computer Science, pp. 348\u2013357, 1988.","DOI":"10.1109\/LICS.1988.5132"},{"key":"53_CR20","doi-asserted-by":"crossref","unstructured":"Marpons, G., Mari\u00f1o, J., Carro, M., Herranz, \u00c1., Fredlund, L.-\u00c5. and Moreno-Navarro, J.J., \u201cAutomatic coding rule conformance checking using logic programming,\u201d in Practical Aspects of Declarative Languages, 10th Int. Symp. PADL 2008, San Francisco, CA, USA, January 7-8, 2008, LNCS, 4902, pp. 18\u201334. Springer, 2008.","DOI":"10.1007\/978-3-540-77442-6_3"},{"key":"53_CR21","unstructured":"Moreno-Navarro, J.J., \u201cDefault rules: An extension of constructive negation for narrowing-based languages,\u201d in Proc. ICLP\u201994, pp. 535\u2013549. The MIT Press, 1994."},{"key":"53_CR22","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz, S. and Moreno-Navarro, J.J., \u201cImplementation results in classical constructive negation,\u201d in ICLP\u201904 (Ducassie, M. ed.), LNCS, 3132, pp. 284\u2013298, Saint-Mal\u00f3, France, September 2004. Springer-Verlag.","DOI":"10.1007\/978-3-540-27775-0_20"},{"key":"53_CR23","unstructured":"Mu\u00f1oz-Hern\u00e1ndez, S, A Negation System for Prolog. PhD thesis, Facultad de Inform\u00e1tica (Universidad Polit\u00e9cnica de Madrid), 2003."},{"key":"53_CR24","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz-Hern\u00e1ndez, S. and Moreno-Navarro, J.J., \u201cHow to incorporate negation in a Prolog compiler,\u201d in 2nd Int. Workshop PADL\u20192000(Santos Costa, V and Pontelli, E. ed.), LNCS, 1753, pp. 124\u2013140, Boston, MA (USA), 2000. Springer.","DOI":"10.1007\/3-540-46584-7_9"},{"key":"53_CR25","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz-Hern\u00e1ndez, S., Moreno-Navarro, J.J. and Hermenegildo, M., \u201cEfficient negation using abstract interpretation,\u201d in \u201cLogic for Programming, Artificial Intelligence and Reasoning(Nieuwenhuis, R. and Voronkov, A. eds.), La Habana (Cuba), 2001.","DOI":"10.1007\/3-540-45653-8_33"},{"key":"53_CR26","doi-asserted-by":"crossref","unstructured":"Naish, L., \u201cNegation and quantifiers in NU-Prolog,\u201d in Proc. 3rd ICLP, 1986.","DOI":"10.1007\/3-540-16492-8_111"},{"key":"53_CR27","unstructured":"Niemel\u00e4, I., Simons, P. and Syrj\u00e4nen, T., \u201cSmodels: A system for answer set programming,\u201d in 8th. Int. Workshop on Nonmonotonic Reasoning, April 2000."},{"issue":"6","key":"53_CR28","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1016\/S0747-7171(89)80064-1","volume":"8","author":"T. Sato","year":"1989","unstructured":"Sato, T., \u201cFirst order compiler: A deterministic logic program synthesis algorithm,\u201d Journal of Symbolic Computation, 8(6), pp. 605\u2013627, 1989","journal-title":"Journal of Symbolic Computation"},{"key":"53_CR29","unstructured":"Sato, T. and Motoyoshi, F., \u201cA complete top-down interpreter for first order programs,\u201d in Logic Programming, Proc. of the 1991 Intern\u2019l Symp., pp. 35\u201353. MIT Press, 1991."},{"key":"53_CR30","unstructured":"Sato, T. and Tamaki, H. \u201cTransformational logic program synthesis,\u201d in Proc. of the Int. Conf. on 5th Generation Computer Systems FGCS84, pp. 195\u2013201, 1984."},{"key":"53_CR31","doi-asserted-by":"crossref","unstructured":"Stuckey, P., \u201cConstructive negation for constraint logic programming,\u201d in Proc. IEEE Symp. on Logic in Computer Science, 660. IEEE Comp. Soc. Press, 1991.","DOI":"10.1109\/LICS.1991.151657"},{"issue":"1","key":"53_CR32","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1006\/inco.1995.1048","volume":"118","author":"P. Stuckey","year":"1995","unstructured":"Stuckey, P., \u201cNegation and constraint logic programming,\u201d in Information and Computation, 118(1), pp. 12\u201333, 1995","journal-title":"Information and Computation"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-008-0053-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00354-008-0053-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-008-0053-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T14:27:50Z","timestamp":1559053670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00354-008-0053-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["53"],"URL":"https:\/\/doi.org\/10.1007\/s00354-008-0053-9","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11]]}}}