{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:10:31Z","timestamp":1725567031368},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354628"},{"type":"electronic","value":"9783540354642"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11780274_29","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T10:50:32Z","timestamp":1150800632000},"page":"555-577","source":"Crossref","is-referenced-by-count":1,"title":["A Functorial Framework for Constraint Normal Logic Programming"],"prefix":"10.1007","author":[{"given":"Paqui","family":"Lucio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edelmira","family":"Pasarella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elvira","family":"Pino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"A\u013avez, J., Lucio, P., Orejas, F.: Constructive negation by bottom-up computation of literal answers. In: Proc. 20004 ACM Symp. on Applied Computing, pp. 1468\u20131475 (2004)","DOI":"10.1145\/967900.968194"},{"key":"29_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/3-540-10856-4_85","volume-title":"Mathematical Foundations of Computer Science 1981","author":"J.A. Bergstra","year":"1981","unstructured":"Bergstra, J.A., Broy, M., Tucker, J.V., Wirsing, M.: On the power of algebraic specifications. In: Gruska, J., Chytil, M. (eds.) MFCS 1981. LNCS, vol.\u00a0118, pp. 193\u2013204. Springer, Heidelberg (1981)"},{"issue":"2","key":"29_CR3","doi-asserted-by":"publisher","first-page":"473","DOI":"10.2307\/2274395","volume":"52","author":"W.A. Carnielli","year":"1987","unstructured":"Carnielli, W.A.: Sistematization of finite many-valued logics through the method of tableaux. J. of Symbolic Logic\u00a052(2), 473\u2013493 (1987)","journal-title":"J. of Symbolic Logic"},{"key":"29_CR4","first-page":"293","volume-title":"Logic and Databases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293\u2013322. Plenum Press, New York (1978)"},{"key":"29_CR5","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF01185404","volume":"32","author":"W. Drabent","year":"1995","unstructured":"Drabent, W.: What is a failure? An approach to constructive negation. Acta Inform\u00e1tica\u00a032, 27\u201359 (1995)","journal-title":"Acta Inform\u00e1tica"},{"key":"29_CR6","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0743-1066(96)00092-1","volume":"32","author":"F. Fages","year":"1997","unstructured":"Fages, F.: Constructive Negation by pruning. J. of Logic Programming\u00a032, 85\u2013118 (1997)","journal-title":"J. of Logic Programming"},{"key":"29_CR7","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"4","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A Kripke-Kleene semantics for logic programs. J. of Logic Programming\u00a04, 295\u2013312 (1985)","journal-title":"J. of Logic Programming"},{"key":"29_CR8","first-page":"459","volume-title":"Algebraic Methods in Semantics","author":"J. Goguen","year":"1985","unstructured":"Goguen, J., Meseguer, J.: Initiality, Induction and Computability. In: Nivat, M., Reynolds, J. (eds.) Algebraic Methods in Semantics, pp. 459\u2013540. Cambridge Univ. Press, Cambridge (1985)"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: POPL, pp. 111\u2013119 (1987)","DOI":"10.1145\/41625.41635"},{"issue":"20","key":"29_CR10","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.: Constraint logic programming: a survey. J. of Logic Programming\u00a0(19\/20), 503\u2013581 (1994)","journal-title":"J. of Logic Programming"},{"key":"29_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","volume":"37","author":"J. Jaffar","year":"1998","unstructured":"Jaffar, J., Maher, M., Marriot, K., Stukey, P.: The semantics of constraint logic programs. J. of Logic Programming\u00a0(37), 1\u201346 (1998)","journal-title":"J. of Logic Programming"},{"key":"29_CR12","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. Van Nostrand, New York (1952)"},{"key":"29_CR13","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"Kunen, K.: Signed data dependencies in logic programs. J. of Logic Programming\u00a07, 231\u2013245 (1989)","journal-title":"J. of Logic Programming"},{"key":"29_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"29_CR15","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0743-1066(98)10039-0","volume":"40","author":"P. Lucio","year":"1999","unstructured":"Lucio, P., Orejas, F., Pino, E.: An algebraic framework for the definition of compositional semantics of normal logic programs. J. of Logic Programming\u00a040, 89\u2013123 (1999)","journal-title":"J. of Logic Programming"},{"key":"29_CR16","unstructured":"Pasarella, E., Pino, E., Orejas, F.: Constructive Negation without subsidiary trees. In: 9th Int. Workshop on Functional and Logic Programming, Benicassim, Spain (2000)"},{"key":"29_CR17","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Progamming","author":"T. Przymusinski","year":"1988","unstructured":"Przymusinski, T.: On the declarative semantics of deductive databases and logic programs. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Progamming, pp. 193\u2013216. Morgan Kaufmann, San Francisco (1988)"},{"key":"29_CR18","unstructured":"Shepherdson, J.C.: Language and equality theory in logic programming. Technical Report PM-91-02, University of Bristol (1991)"},{"key":"29_CR19","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1006\/inco.1995.1048","volume":"118","author":"P.J. Stuckey","year":"1995","unstructured":"Stuckey, P.J.: Negation and constraint logic programmming. Information and Computation\u00a0118, 12\u201323 (1995)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Algebra, Meaning, and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11780274_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T22:54:30Z","timestamp":1558306470000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11780274_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354628","9783540354642"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11780274_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}