{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:38Z","timestamp":1725664298050},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591559"},{"type":"electronic","value":"9783540492009"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59155-9_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:04:28Z","timestamp":1330257868000},"page":"68-89","source":"Crossref","is-referenced-by-count":3,"title":["Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\u201320","author":"K. Apt","year":"1994","unstructured":"K. Apt, R. Bol, \u201cLogic programming and negation: a survey\u201d, Journal of Logic Programming, 19\u201320, pp. 9\u201371, 1994.","journal-title":"Journal of Logic Programming"},{"key":"5_CR2","unstructured":"K. Apt, M. Gabrielli, \u201cDeclarative interpretations reconsidered\u201d, Proc. 11th ICLP'94, MIT Press, 1994."},{"key":"5_CR3","unstructured":"A. Bossi, M. Fabris, M.C. Meo, \u201cA bottom-up semantics for constructive negation\u201d, Proc of the 11th Int. Conf. on Logic Programming, pp.520\u2013534, MIT Press, 1994."},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0743-1066(94)90026-4","volume":"19\u201320","author":"A. Bossi","year":"1994","unstructured":"A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, \u201cThe s-semantics approach: theory and applications\u201d, Journal of Logic Programming, 19\u201320, pp. 149\u2013197, 1994.","journal-title":"Journal of Logic Programming"},{"key":"5_CR5","unstructured":"P. Bruscoli, F. Levi, G. Levi, M.C. Meo, \u201cIntensional negation\u201d, GULP'93, eight conference on logic programming, Italy. June 1993."},{"key":"5_CR6","first-page":"11","volume-title":"Constructive negation based on the completed database","author":"D. Chan","year":"1988","unstructured":"D. Chan, \u201cConstructive negation based on the completed database\u201d, in: R.A. Kowalski and K.A. Bowen (eds), Proc. of the fifth International Conference on Logic Programming, MIT Press, Cambridge, MA, pp. 11\u2013125, 1988."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"W. Drabent, \u201cWhat is failure? An approach to constructive negation\u201d, to appear in Acta Informatica, 1994.","DOI":"10.1007\/BF01185404"},{"key":"5_CR8","unstructured":"F. Fages, \u201cConstructive negation by pruning\u201d, Technical report 94\u201314, Ecole Normale Sup\u00e9rieure, Paris. Sept. 1994. Submitted for publication."},{"key":"5_CR9","first-page":"193","volume-title":"On the semantics of optimization predicates in CLP languages","author":"F. Fages","year":"1993","unstructured":"F. Fages, \u201cOn the semantics of optimization predicates in CLP languages\u201d, 13th FSTTCS conference, Bombay, LNCS 761, Springer-Verlag, pp. 193\u2013204, 1993."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"F. Fages, J. Fowler, T. Sola, \u201cHandling preferences in constraint logic programming with relational optimization\u201d, Proc of PLILP'94, Madrid, 1994.","DOI":"10.1007\/3-540-58402-1_19"},{"issue":"4","key":"5_CR11","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"M. Fitting, \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":"5_CR12","volume-title":"Modeling answer constraint in constraint logic programs","author":"M. Gabbrielli","year":"1991","unstructured":"M. Gabbrielli, G. Levi, \u201cModeling answer constraint in constraint logic programs\u201d, ICLP'91, Paris, MIT Press, 1991."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"J. Jaffar, J.L. Lassez, \u201cConstraint Logic Programming\u201d, Proc. of POPL'87, Munich. 1987.","DOI":"10.1145\/41625.41635"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"J. Jaffar, M.J. Maher, \u201cConstraint logic programming: a survey\u201d, Journal of Logic Programming, 19\u201320, 1994.","DOI":"10.1016\/0743-1066(94)90033-7"},{"issue":"3","key":"5_CR15","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, \u201cNegation in logic programming\u201d, Journal of Logic Programming, 4(3), pp. 289\u2013308, 1987.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"5_CR16","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"K. Kunen, \u201cSigned data dependencies in logic programming\u201d, Journal of Logic Programming, 7(3), pp. 231\u2013245, 1989.","journal-title":"Journal of Logic Programming"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd, \u201cFoundations of Logic Programming\u201d, Springer Verlag. 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"5_CR18","unstructured":"M.J. Maher, \u201cLogic semantics for a class of committed-choice languages\u201d, Proc. 4th International Conference on Logic Programming, pp.858\u2013876, MIT Press, 1987."},{"key":"5_CR19","unstructured":"M.J. Maher, \u201cA logic programming view of CLP\u201d, Proc. 10th International Conference on Logic Programming, pp.737\u2013753, MIT Press, 1993."},{"key":"5_CR20","unstructured":"M. Maher, P.J. Stuckey, \u201cExpanding query power in constraint logic programming languages\u201d, Proc. NACLP'89, MIT Press, 1989."},{"key":"5_CR21","unstructured":"K. Marriott, P.J. Stuckey, \u201cSemantics of CLP programs with optimization\u201d, Technical report, Univ. of Melbourne, 1993."},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"V. Saraswat, \u201cConcurrent constraint programming\u201d, Proc. POPL'90, San Francisco, pp.232\u2013245, 1990.","DOI":"10.1145\/96709.96733"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"V. Saraswat, \u201cConcurrent constraint programming\u201d, MIT Press, 1993.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"P. Stuckey, \u201cConstructive negation for constraint logic programming\u201d, Proc. LICS'91, 1991.","DOI":"10.1109\/LICS.1991.151657"},{"key":"5_CR25","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0004-3702(92)90006-J","volume":"58","author":"P. Hentenryck Van","year":"1992","unstructured":"P. Van Hentenryck, H. Simonis, M. Dincbas, \u201cConstraint satisfaction using constraint logic programming\u201d, Artificial Intelligence 58, pp. 11\u2013159, 1992.","journal-title":"Artificial Intelligence"},{"key":"5_CR26","unstructured":"P. Van Hentenryck: \u201cConstraint Satisfaction in Logic Programming\u201d, MIT Press 1989."}],"container-title":["Lecture Notes in Computer Science","Constraint Programming: Basics and Trends"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59155-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:22:55Z","timestamp":1619558575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59155-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591559","9783540492009"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-59155-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}