{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:09Z","timestamp":1725664749133},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60983-0_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:09:45Z","timestamp":1330272585000},"page":"213-227","source":"Crossref","is-referenced-by-count":6,"title":["Extending constructive negation for partial functions in lazy functional-logic languages"],"prefix":"10.1007","author":[{"given":"Juan Jos\u00e9","family":"Moreno-Navarro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"15_CR1","first-page":"385","volume":"844","author":"P. Arenas","year":"1994","unstructured":"P. Arenas, A. Gil, F. L\u00f3pez-Fraguas. Combining Lazy Narrowing with Disequality Constraints. PLILP'94, Springer LNCS 844, 385\u2013399, 1994.","journal-title":"PLILP'94, Springer LNCS"},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/BFb0014975","volume":"250","author":"R. Barbuti","year":"1987","unstructured":"R. Barbuti, D. Mancarella, D. Pedreschi, F. Turini. Intensional Negation of Logic Programs. Proc. TAPSOFT'87, Springer LNCS 250, 96\u2013110, 1987.","journal-title":"Proc. TAPSOFT'87, Springer LNCS"},{"issue":"3","key":"15_CR3","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, D. Mancarella, D. Pedreschi, F. Turini. A Transformational Approach to Negation in Logic Programming. J. of Logic Programming, 8(3):201\u2013228, 1990.","journal-title":"J. of Logic Programming"},{"key":"15_CR4","unstructured":"D. Chan. Constructive Negation Based on the Complete Database Proc. Int. Conference on Logic Programming'89, The MIT Press, 111\u2013125, 1988."},{"key":"15_CR5","unstructured":"D. Chan. An Extension of Constructive Negation and its Application in Coroutining. Proc. NACLP'89, The MIT Press, 477\u2013493. 1989."},{"key":"15_CR6","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/S0747-7171(89)80017-3","volume":"7","author":"H. Comon","year":"1989","unstructured":"H. Comon, P. Lescanne. Equational Problems and Disunification. J. of Symbolic Computation, 7:371\u2013425, 1989.","journal-title":"J. of Symbolic Computation"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"W. Drabent. What is Failure? An Approach to Constructive Negation. Acta Informatica 32, 27\u201359, Springer Verlag, 1995.","DOI":"10.1007\/BF01185404"},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01189020","volume":"3","author":"M. Fern\u00e1ndez","year":"1992","unstructured":"M. Fern\u00e1ndez. Narrowing Based Procedures for Equational Disunification. Applicable Algebras in Eng. Communications and Computing, 3:1\u201326, 1992.","journal-title":"Applicable Algebras in Eng. Communications and Computing"},{"key":"15_CR9","unstructured":"M. Fitting, M. Ben-Jacob. Stratified and Three-valued Logic Programming Semantics Proc. Int. Conf. and Symp. on Logic Programming, 1988, pp. 1054\u20131069."},{"key":"15_CR10","unstructured":"L. Fribourg. SLOG: A Logic Programming Language Interpreter based on Clausal Superposition and Rewriting. Proc. Symp. on Logic Programming, IEEE Comp. Soc. Press, 1985."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"M. Hanus. Compiling Logic Programs with Equality. Proc. PLILP'90, Springer LNCS, 1990.","DOI":"10.1007\/BFb0024197"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"M. Hanus. The Integration of Functions into Logic Programs: A Survey. J. of Logic Programming, 1994.","DOI":"10.1016\/0743-1066(94)90034-5"},{"key":"15_CR13","first-page":"370","volume":"844","author":"M. Hanus","year":"1994","unstructured":"M. Hanus. Combining Lazy Narrowing and Simplification. PLILP'94, Springer LNCS 844, 370\u2013384, 1994.","journal-title":"PLILP'94, Springer LNCS"},{"key":"15_CR14","unstructured":"P. Hill, J. lloyd. The G\u00f6del Programming Language. The MIT Press, 1994."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"J. Jaffar, J.L. Lassez. Constraint Logic Programming. Proc. 14th ACM Symp. on Princ. of Prog. Lang., 114\u2013119, 1987.","DOI":"10.1145\/41625.41635"},{"key":"15_CR16","first-page":"271","volume":"432","author":"H. Kuchen","year":"1990","unstructured":"H. Kuchen, R. Loogen, J. J. Moreno-Navarro, M. Rodr\u00edguez-Artalejo. Graph-based Implementation of a Functional Logic Language Proc. ESOP, Springer LNCS 432, 271\u2013290, 1990.","journal-title":"Proc. ESOP, Springer LNCS"},{"key":"15_CR17","unstructured":"H. Kuchen, F. L\u00f3pez-Fraguas, J.J. Moreno-Navarro, M. Rodr\u00edguez-Artalejo. Implementing a Lazy Functional Logic Language with Disequality Constraints. Joint International Conference and Symposium on Logic Programming, The MIT Press, 189\u2013223, 1992."},{"key":"15_CR18","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"K. Kunen. Negation in Logic Programming. J. of Logic Programming 4:289\u2013308, 1987.","journal-title":"J. of Logic Programming"},{"key":"15_CR19","unstructured":"F.J. L\u00f3pez-Fraguas. A General Scheme for Constraint Functional Logic Programming. Proc. ALP'92, Springer LNCS, 1992."},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"M. Maher. Complete Axiomatization of the Algebras of Finite, Rational and Infinite Trees. Proc. 3rd Symp. on Logic in Computer Science, 348\u2013357, 1988.","DOI":"10.1109\/LICS.1988.5132"},{"key":"15_CR21","first-page":"298","volume":"463","author":"J.J. Moreno-Navarro","year":"1990","unstructured":"J.J. Moreno-Navarro, H. Kuchen, R. Loogen, M. Rodr\u00edguez-Artalejo. Lazy Narrowing in a Graph Machine. Proc. ALP'90, Springer LNCS 463, 298\u2013317, 1990.","journal-title":"Proc. ALP'90, Springer LNCS"},{"key":"15_CR22","first-page":"167","volume":"714","author":"J.J. Moreno-Navarro","year":"1993","unstructured":"J.J. Moreno-Navarro, H. Kuchen, J. Mari\u00f1o-Carballo, S. Winkler, W. Hans. Efficient Lazy Narrowing using Demandedness Analysis. Proc. PLILP'93, Springer LNCS 714, 167\u2013183, 1993.","journal-title":"Proc. PLILP'93, Springer LNCS"},{"key":"15_CR23","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0743-1066(92)90023-V","volume":"12","author":"J. M. Navarro","year":"1992","unstructured":"J.J. Moreno Navarro, M. Rodr\u00edguez Artalejo. Logic Programming with Functions and Predicates: The Language BABEL. J. of Logic Programming 12:189\u2013223, 1992.","journal-title":"J. of Logic Programming"},{"key":"15_CR24","unstructured":"J.J. Moreno Navarro. Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. Proc. ICLP'94, The MIT Press, 1994."},{"key":"15_CR25","first-page":"624","volume":"225","author":"L. Naish","year":"1986","unstructured":"L. Naish. Negation and Quantifiers in NU-Prolog. ICLP'86, Springer LNCS 225, 624\u2013634, 1986.","journal-title":"ICLP'86, Springer LNCS"},{"key":"15_CR26","first-page":"59","volume":"660","author":"M.J. Ram\u00edrez","year":"1993","unstructured":"M.J. Ram\u00edrez, M. Falaschi. Conditional Narrowing with Constructive Negation. Proc. ELP'92, Springer LNCS 660, 59\u201379, 1993.","journal-title":"Proc. ELP'92, Springer LNCS"},{"key":"15_CR27","unstructured":"P. Stuckey. Constructive Negation for Constraint Logic Programming Proc. IEEE Symp. on Logic in Computer Science, IEEE Comp. Soc. Press, 1991."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60983-0_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:03:20Z","timestamp":1605629000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}