{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:46Z","timestamp":1725565426564},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226710"},{"type":"electronic","value":"9783540277750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27775-0_20","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T20:29:36Z","timestamp":1284582576000},"page":"284-298","source":"Crossref","is-referenced-by-count":2,"title":["Implementation Results in Classical Constructive Negation"],"prefix":"10.1007","author":[{"given":"Susana","family":"Mu\u00f1oz-Hern\u00e1ndez","sequence":"first","affiliation":[]},{"given":"Juan Jos\u00e9","family":"Moreno-Navarro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Dam\u00e1sio, C.V., Pereira, L.M.: A logic programming system for nonmonotonic reasoning. In: Journal of Automated Reasoning, volume 14(1), pp. 93\u2013147 (1995)","DOI":"10.1007\/BF00883931"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Alvez, J., Lucio, P., Orejas, F., Pasarella, E., Pino, E.: Constructive negation by bottom-up computation of literal answers. In: Proceedings of the 2004 ACM Symposium on Applied Computing, Nicosia (Cyprus). ACM, vol.\u00a02, pp. 1468\u20131475 (2004)","DOI":"10.1145\/967900.968194"},{"key":"20_CR3","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: Ehrig, H., Levi, G., Montanari, U. (eds.) TAPSOFT 1987 and CFLP 1987. LNCS, vol.\u00a0250, pp. 96\u2013110. Springer, Heidelberg (1987)"},{"issue":"3","key":"20_CR4","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":"20_CR5","unstructured":"Bart\u00e1k, R.: Constructive negation in clp(h). Tech. Report 98\/6, Department of Theoretical Computer Science, Charles University, Prague (July 1998)"},{"key":"20_CR6","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":"20_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-44957-4_9","volume-title":"Computational Logic - CL 2000","author":"D. Cabeza","year":"2000","unstructured":"Cabeza, D., Hermenegildo, M.: A New Module System for Prolog. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 131\u2013148. Springer, Heidelberg (2000)"},{"key":"20_CR8","first-page":"111","volume-title":"Proc. Int. Conference on LP 1988","author":"D. Chan","year":"1988","unstructured":"Chan, D.: Constructive negation based on the complete database. In: Proc. Int. Conference on LP 1988, pp. 111\u2013125. MIT Press, Cambridge (1988)"},{"key":"20_CR9","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. MIT Press, Cambridge (1989)"},{"key":"20_CR10","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, New York, NY, pp. 293\u2013322. Plenum Press, New York (1978)"},{"key":"20_CR11","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":"20_CR12","first-page":"52","volume-title":"1999 ICLP","author":"M. Hermenegildo","year":"1999","unstructured":"Hermenegildo, M., Bueno, F., Puebla, G., L\u00f3pez-Garc\u00eda, P.: Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor. In: 1999 ICLP, Cambridge, MA, November 1999, pp. 52\u201366. MIT Press, Cambridge (1999)"},{"key":"20_CR13","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":"20_CR14","volume-title":"1997 International Logic Programming Symposium","author":"P. L\u00f3pez-Garc\u00eda","year":"1997","unstructured":"L\u00f3pez-Garc\u00eda, P., Hermenegildo, M., Debray, S., Lin, N.W.: Lower bound cost estimation for logic programs. In: 1997 International Logic Programming Symposium, MIT Press, Cambridge (1997)"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Moreno-Navarro, J.J.: Extending constructive negation for partial functions in lazy narrowing-based languages. ELP (1996)","DOI":"10.1007\/3-540-60983-0_15"},{"key":"20_CR16","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":"20_CR17","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","year":"2000","unstructured":"Mu\u00f1oz, 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":"20_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/3-540-45653-8_33","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"S. Mu\u00f1oz","year":"2001","unstructured":"Mu\u00f1oz, S., Moreno-Navarro, J.J., Hermenegildo, M.: Efficient negation using abstract interpretation. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, pp. 485\u2013494. Springer, Heidelberg (2001)"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Negation and Control in Prolog","author":"L. Naish","year":"1986","unstructured":"Naish, L.: Negation and Control in Prolog. LNCS, vol.\u00a0238. Springer, Heidelberg (1986)"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Algebraic and Logic Programming","author":"A. Pierro Di","year":"1996","unstructured":"Di Pierro, A., Drabent, W.: On negation as instantiation. In: Hanus, M., Rodr\u00edguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol.\u00a01139, Springer, Heidelberg (1996)"},{"key":"20_CR21","unstructured":"Shoenfield, J.R.: Mathematical Logic. Association for Symbolic Logic (1967)"},{"key":"20_CR22","volume-title":"Proc. IEEE Symp. on Logic in Computer Science","author":"P. Stuckey","year":"1991","unstructured":"Stuckey, P.: Constructive negation for constraint logic programming. In: Proc. IEEE Symp. on Logic in Computer Science, vol.\u00a0660, IEEE Comp. Soc. Press, Los Alamitos (1991)"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Stuckey, P.: Negation and constraint logic programming. In: Information and Computation, vol.\u00a0118(1), pp. 12\u201333 (1995)","DOI":"10.1006\/inco.1995.1048"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27775-0_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:19:54Z","timestamp":1605759594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27775-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226710","9783540277750"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27775-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}