{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:21Z","timestamp":1742617221956,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617358"},{"type":"electronic","value":"9783540706724"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61735-3_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:17:51Z","timestamp":1330294671000},"page":"77-91","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A hierarchy of semantics for normal constraint logic programs"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[]},{"given":"Roberta","family":"Gori","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"5_CR1","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_CR2","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot, \u201cSystematic design of program analysis frameworks\u201d, In Proc. 6th Annual Symposium on Principles of Programming Languages, pp.269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"issue":"2","key":"5_CR3","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"P. Cousot, R. Cousot, \u201cAbstract interpretation and application to logic programs\u201d, Journal of Logic Programming, 13(2 and 3), pp.103\u2013179, 1992.","journal-title":"Journal of Logic Programming"},{"key":"5_CR4","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_CR5","first-page":"561","volume-title":"Compositionality in SLD-derivations and their abstractions","author":"M. Comini","year":"1995","unstructured":"M. Comini, G. Levi, M.C. Meo, \u201cCompositionality in SLD-derivations and their abstractions\u201d, Proc. of International Symposium on Logic Programming, ILPS'95, Portland, MIT Press, pp.561\u2013575, 1995."},{"key":"5_CR6","unstructured":"K. Doets \u201cFrom Logic to Logic Programming\u201d, MIT Press, 1992."},{"issue":"1","key":"5_CR7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF01185404","volume":"32","author":"W. Drabent","year":"1995","unstructured":"W. Drabent, \u201cWhat is failure? An approach to constructive negation\u201d, Acta Informatica, 32:1, pp.27\u201359, 1995.","journal-title":"Acta Informatica"},{"key":"5_CR8","unstructured":"F. Fages, \u201cConstructive negation by pruning\u201d, LIENS technical report 94-14, revised 95-24. To appear in the Journal of Logic Programming, 1996."},{"issue":"4","key":"5_CR9","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"},{"issue":"3","key":"5_CR10","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, M. Martelli, C. Palamidessi, \u201cDeclarative modeling of the operational behavior of logic programs\u201d, Theoretical Computer Science, 69(3), pp.289\u2013318, 1989.","journal-title":"Theoretical Computer Science"},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1006\/inco.1993.1015","volume":"103","author":"M. Falaschi","year":"1993","unstructured":"M. Falaschi, G. Levi, M. Martelli, C. Palamidessi, \u201cA model-theoretic reconstruction of the operational semantics of logic programs\u201d, Information and Computation, 103, pp.86\u2013113, 1993.","journal-title":"Information and Computation"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"R. Giacobazzi, \u201c\u201dOptimal\u201d collecting semantics for analysis in a hierarchy of logic program semantics\u201d, Proc of 13th STACS'96, C. Puech and R Reischuk Ed., LNCS 1046, Springer Verlag, pp.503\u2013514. 1996.","DOI":"10.1007\/3-540-60922-9_41"},{"key":"5_CR13","volume-title":"Report of DEA IMA","author":"R. Gori","year":"1995","unstructured":"R. Gori, \u201cA hierarchy of semantics for CLP({ie91-01}) general programs\u201d, Report of DEA IMA, LIENS, \u00c9cole Normale Sup\u00e9rieure, Paris, 1995."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"J. Jaffar, J.L. Lassez, \u201cConstraint Logic Programming\u201d, Proc. of POPL'87, Munich, pp.111\u2013119, 1987.","DOI":"10.1145\/41625.41635"},{"key":"5_CR15","unstructured":"R. Kemp, G. Ringwood, \u201cReynolds base, Clark models and Heyting semantics of logic programs\u201d, Technical Report, Queen Mary and Westfield College, 1991, revised 1995."},{"issue":"3","key":"5_CR16","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_CR17","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_CR18","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/B978-0-934613-40-8.50020-8","volume-title":"Foundations of deductive databases and logic programming","author":"M. Maher","year":"1988","unstructured":"M. Maher, \u201cEquivalences of logic programs\u201d, in: J. Minker (ed.) Foundations of deductive databases and logic programming, Morgan Kaufmann, pp.627\u2013658, Los Altos, CA, 1988."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"P. Stuckey, \u201cConstructive negation for constraint logic programming\u201d, Proc. LICS'91, pp.328\u2013339, 1991.","DOI":"10.1109\/LICS.1991.151657"},{"issue":"1","key":"5_CR20","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1006\/inco.1995.1048","volume":"118","author":"P. Stuckey","year":"1995","unstructured":"P. Stuckey \u201cNegation and constraint logic programming\u201d, Information and Computation 118(1), pp.12\u201333 (1995).","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61735-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:24:50Z","timestamp":1742599490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61735-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617358","9783540706724"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-61735-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}