{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T13:41:59Z","timestamp":1648820519461},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,3,13]],"date-time":"2008-03-13T00:00:00Z","timestamp":1205366400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s10485-008-9128-5","type":"journal-article","created":{"date-parts":[[2008,3,12]],"date-time":"2008-03-12T12:03:13Z","timestamp":1205323393000},"page":"421-450","source":"Crossref","is-referenced-by-count":1,"title":["A Functorial Framework for Constraint Normal Logic Programming"],"prefix":"10.1007","volume":"16","author":[{"given":"P.","family":"Lucio","sequence":"first","affiliation":[]},{"given":"F.","family":"Orejas","sequence":"additional","affiliation":[]},{"given":"E.","family":"Pasarella","sequence":"additional","affiliation":[]},{"given":"E.","family":"Pino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,3,13]]},"reference":[{"key":"9128_CR1","doi-asserted-by":"crossref","unstructured":"\u00c1lvez, J., Lucio, P., Orejas, F.: Constructive negation by bottom-up computation of literal answers. In: Proceedings of the 2004 ACM Symposium on Applied Computing, pp. 1468\u20131475 (2004)","DOI":"10.1145\/967900.968194"},{"key":"9128_CR2","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A., Broy, M., Tucker, J.V., Wirsing, M.: On the power of algebraic specifications. In: Gruska, J., Chytil, M. (eds.) Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31\u2013September 4, 1981, Proceedings MFCS. Lecture Notes in Computer Science, vol. 118, pp. 193\u2013204. Springer (1981)","DOI":"10.1007\/3-540-10856-4_85"},{"issue":"2","key":"9128_CR3","doi-asserted-by":"crossref","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. Symbolic Logic 52(2), 473\u2013493 (1987)","journal-title":"J. Symbolic Logic"},{"key":"9128_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":"9128_CR5","doi-asserted-by":"crossref","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. 32, 27\u201359 (1995)","journal-title":"Acta Inform."},{"key":"9128_CR6","doi-asserted-by":"crossref","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. Logic Programming 32, 85\u2013118 (1997)","journal-title":"J. Logic Programming"},{"key":"9128_CR7","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"4","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A Kripke\u2013Kleene semantics for logic programs. J. Logic Programming 4, 295\u2013312 (1985)","journal-title":"J. Logic Programming"},{"key":"9128_CR8","unstructured":"Goguen, J., Meseguer, J.: Initiality, induction and computability. In: Nivat, M., Reynolds, J. (eds.) Algebraic Methods in Semantics. Cambridge Univ. Press, pp. 459\u2013540 (1985)"},{"key":"9128_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"},{"key":"9128_CR10","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.: Constraint logic programming: a survey. J. Logic Programming 19\/20, 503\u2013581 (1994)","journal-title":"J. Logic Programming"},{"issue":"1","key":"9128_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. Logic Programming 37(1), 1\u201346 (1998)","journal-title":"J. Logic Programming"},{"key":"9128_CR12","unstructured":"Kleene, S.C.: Introduction to Metamathematics. Van Nostrand (1952)"},{"key":"9128_CR13","doi-asserted-by":"crossref","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. Logic Programming 7, 231\u2013245 (1989)","journal-title":"J. Logic Programming"},{"key":"9128_CR14","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer-Verlag, 2nd edn. (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"key":"9128_CR15","doi-asserted-by":"crossref","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. Logic Programming 40, 89\u2013123 (1999)","journal-title":"J. Logic Programming"},{"key":"9128_CR16","doi-asserted-by":"crossref","unstructured":"Lucio, P., Orejas, F., Pasarella, E., Pino, E.: A functorial framework for constraint normal logic programming. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation, Essays, Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 4060, pp. 555\u2013577. Springer-Verlag (2006)","DOI":"10.1007\/11780274_29"},{"key":"9128_CR17","unstructured":"Pasarella, E., Pino, E., Orejas, F.: Constructive negation without subsidiary trees. In: 9th International Workshop on Functional and Logic Programming (WFLP\u201900), Benic\u00e0ssim, Spain (2000)"},{"key":"9128_CR18","doi-asserted-by":"crossref","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 (1988)","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"9128_CR19","unstructured":"Shepherdson, J.C.: Language and equality theory in logic programming. Technical report PM-91-02, University of Bristol (1991)"},{"key":"9128_CR20","doi-asserted-by":"crossref","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. Inform. and Comput. 118, 12\u201323 (1995)","journal-title":"Inform. and Comput."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9128-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-008-9128-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9128-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:24:27Z","timestamp":1559154267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-008-9128-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,13]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["9128"],"URL":"https:\/\/doi.org\/10.1007\/s10485-008-9128-5","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3,13]]}}}