{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:05:03Z","timestamp":1740287103510,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642143083"},{"type":"electronic","value":"9783642143090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14309-0_2","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T13:09:58Z","timestamp":1277298598000},"page":"15-36","source":"Crossref","is-referenced-by-count":1,"title":["Theoretical Foundations and Semantics of Logic Programming"],"prefix":"10.1007","author":[{"given":"Annalisa","family":"Bossi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Chiara","family":"Meo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R.: Logic programming. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 493\u2013574 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1006\/inco.1995.1146","volume":"122","author":"R. Barbuti","year":"1995","unstructured":"Barbuti, R., Codish, M., Giacobazzi, R., Maher, M.J.: Oracle semantics for Prolog. Information and Computation\u00a0122(2), 178\u2013200 (1995)","journal-title":"Information and Computation"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/151646.151650","volume":"15","author":"R. Barbuti","year":"1993","unstructured":"Barbuti, R., Giacobazzi, R., Levi, G.: A general framework for semantics-based bottom-up abstract interpretation of logic programs. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a015(1), 133\u2013181 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"issue":"1","key":"2_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(91)90004-L","volume":"86","author":"R.N. Bol","year":"1991","unstructured":"Bol, R.N., Apt, K.R., Klop, J.W.: An analysis of loop checking mechanisms for logic programs. Theor. Comput. Sci.\u00a086(1), 35\u201379 (1991)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR5","first-page":"374","volume-title":"ICLP 1993: Proceedings of the Tenth Int\u2019l Conference on Logic Programming","author":"A. Bossi","year":"1993","unstructured":"Bossi, A., Bugliesi, M., Fabris, M.: A new fixpoint semantics for Prolog. In: ICLP 1993: Proceedings of the Tenth Int\u2019l Conference on Logic Programming, pp. 374\u2013389. MIT Press, Cambridge (1993)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Bossi, A., Bugliesi, M., Gabbrielli, M., Levi, G., Meo, M.C.: Differential logic programming. In: POPL 1993: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 359\u2013370 (1993)","DOI":"10.1145\/158511.158689"},{"issue":"20","key":"2_CR7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0743-1066(94)90026-4","volume":"19","author":"A. Bossi","year":"1994","unstructured":"Bossi, A., Gabbrielli, M., Levi, G., Martelli, M.: The s-semantics approach: theory and applications. Journal of Logic Programming\u00a019(20), 149\u2013197 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"1-2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)90200-3","volume":"122","author":"A. Bossi","year":"1994","unstructured":"Bossi, A., Gabbrielli, M., Levi, G., Meo, M.C.: A compositional semantics for logic programs. Theoretical Computer Science\u00a0122(1-2), 3\u201347 (1994)","journal-title":"Theoretical Computer Science"},{"key":"2_CR9","unstructured":"Bossi, A., Menegus, M.: Una semantica composizionale per programmi logici aperti. In: Sesto convegno sulla programmazione logica, pp. 95\u2013109 (1991)"},{"issue":"2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"Bruynooghe, M.: A practical framework for the abstract interpretation of logic programs. Journal of Logic Programming\u00a010(2), 91\u2013124 (1991)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0304-3975(94)90055-8","volume":"124","author":"M. Codish","year":"1994","unstructured":"Codish, M., Dams, D., Yardeni, E.: Bottom-up abstract interpretation of logic programs. Theoretical Computer Science\u00a0124(1), 93\u2013125 (1994)","journal-title":"Theoretical Computer Science"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Codish, M., S\u00f8ndergaard, H.: Meta-circular abstract interpretation in Prolog, pp. 109\u2013134 (2002)","DOI":"10.1007\/3-540-36377-7_6"},{"key":"2_CR13","unstructured":"Comini, M., Levi, G.: An algebraic theory of observables. In: SLP, pp. 172\u2013186 (1994)"},{"key":"2_CR14","unstructured":"Comini, M., Levi, G., Meo, M.C.: Compositionality in sld-derivations and their abstractions. In: ILPS, pp. 561\u2013575 (1995)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-62503-8_2","volume-title":"Analysis and Verification of Multiple-Agent Languages","author":"M. Comini","year":"1997","unstructured":"Comini, M., Levi, G., Meo, M.C., Vitiello, G.: Proving properties of logic programs by abstract diagnosis. In: Dam, M. (ed.) LOMAPS-WS 1996. LNCS, vol.\u00a01192, pp. 22\u201350. Springer, Heidelberg (1997)"},{"issue":"1-3","key":"2_CR16","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(98)10033-X","volume":"39","author":"M. Comini","year":"1999","unstructured":"Comini, M., Levi, G., Meo, M.C., Vitiello, G.: Abstract diagnosis. Journal of Logic Programming\u00a039(1-3), 43\u201393 (1999)","journal-title":"Journal of Logic Programming"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/3-540-58792-6_27","volume-title":"Logic Program Synthesis and Transformation - Meta-Programming in Logic","author":"M. Comini","year":"1994","unstructured":"Comini, M., Levi, G., Vitiello, G.: Abstract debugging of logic program. In: Fribourg, L., Turini, F. (eds.) LOPSTR 1994 and META 1994. LNCS, vol.\u00a0883, pp. 440\u2013450. Springer, Heidelberg (1994)"},{"issue":"4es","key":"2_CR18","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1145\/242224.242433","volume":"28","author":"P. Cousot","year":"1996","unstructured":"Cousot, P.: Program analysis: the abstract interpretation perspective. ACM Computing Surveys\u00a028(4es), 165 (1996)","journal-title":"ACM Computing Surveys"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: POPL, pp. 269\u2013282 (1979)","DOI":"10.1145\/567752.567778"},{"key":"2_CR21","unstructured":"Garc\u00eda de la Banda, M.J., Hermenegildo, M.V., Marriott, K.: Independence in constraint logic programs. In: ILPS, pp. 130\u2013146 (1993)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Debray, S.K.: Formal bases for dataflow analysis of logic programs, pp. 115\u2013182 (1994)","DOI":"10.1093\/oso\/9780198538530.003.0003"},{"issue":"4","key":"2_CR23","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden Van","year":"1976","unstructured":"Van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"Journal of the ACM"},{"issue":"1&2","key":"2_CR24","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0304-3975(95)00148-4","volume":"166","author":"S. Etalle","year":"1996","unstructured":"Etalle, S., Gabbrielli, M.: Transformations of clp modules. Theor. Comput. Sci.\u00a0166(1&2), 101\u2013146 (1996)","journal-title":"Theor. Comput. Sci."},{"issue":"1&2","key":"2_CR25","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(90)90061-L","volume":"75","author":"M. Falaschi","year":"1990","unstructured":"Falaschi, M., Levi, G.: Finite failures and partial computations in concurrent logic languages. Theor. Comput. Sci.\u00a075(1&2), 45\u201366 (1990)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"Falaschi, M., Levi, G., Martelli, M., Palamidessi, C.: Declarative Modeling of the Operational Behaviour of Logic Languages. Theoretical Computer Science\u00a069, 289\u2013318 (1989)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"2_CR27","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","volume":"4","author":"G. Ferrand","year":"1987","unstructured":"Ferrand, G.: Error diagnosis in logic programming, an adaptation of E.Y. Shapiro\u2019s method. Journal of Logic Programming\u00a04(3), 177\u2013198 (1987)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"2_CR28","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1093\/logcom\/5.2.133","volume":"5","author":"M. Gabbrielli","year":"1995","unstructured":"Gabbrielli, M., Dore, G.M., Levi, G.: Observable semantics for constraint logic programs. J. Log. Comput.\u00a05(2), 133\u2013171 (1995)","journal-title":"J. Log. Comput."},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Gabbrielli, M., Giacobazzi, R.: Goal independency and call patterns in the analysis of logic programs. In: SAC, pp. 394\u2013399 (1994)","DOI":"10.1145\/326619.326789"},{"key":"2_CR30","unstructured":"Gabbrielli, M., Levi, G., Meo, M.C.: Observational equivalences for logic programs. In: Proceedings of the Joint Int\u2019l Conference and Symposium on Logic Programming, pp. 131\u2013145 (1992)"},{"issue":"1","key":"2_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1138","volume":"122","author":"M. Gabbrielli","year":"1995","unstructured":"Gabbrielli, M., Levi, G., Meo, M.C.: Observable behaviors and equivalences of logic programs. Inf. Comput.\u00a0122(1), 1\u201329 (1995)","journal-title":"Inf. Comput."},{"issue":"4","key":"2_CR32","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1093\/logcom\/6.4.491","volume":"6","author":"M. Gabbrielli","year":"1996","unstructured":"Gabbrielli, M., Levi, G., Meo, M.C.: Resultants semantics for prolog. J. Log. Comput.\u00a06(4), 491\u2013521 (1996)","journal-title":"J. Log. Comput."},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/BFb0013821","volume-title":"Algebraic and Logic Programming","author":"M. Gabbrielli","year":"1992","unstructured":"Gabbrielli, M., Meo, M.C.: Fixpoint semantics for partial computed answer substitutions and call patterns. In: Kirchner, H., Levi, G. (eds.) ALP 1992. LNCS, vol.\u00a0632, pp. 84\u201399. Springer, Heidelberg (1992)"},{"key":"2_CR34","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/75277.75289","volume-title":"POPL 1989: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"H. Gaifman","year":"1989","unstructured":"Gaifman, H., Shapiro, E.: Fully abstract compositional semantics for logic programs. In: POPL 1989: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 134\u2013142. ACM Press, New York (1989)"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/LICS.1989.39158","volume-title":"Proceedings of the Fourth Annual Symposium on Logic in computer science","author":"H. Gaifman","year":"1989","unstructured":"Gaifman, H., Shapiro, E.: Proof theory and semantics of logic programs. In: Proceedings of the Fourth Annual Symposium on Logic in computer science, pp. 50\u201362. IEEE Press, Los Alamitos (1989)"},{"key":"2_CR36","first-page":"581","volume-title":"Proceedings of the Int\u2019l Conference on Fifth Generation Computer Systems","author":"R. Giacobazzi","year":"1992","unstructured":"Giacobazzi, R., Debray, S.K., Levi, G.: A generalized semantics for constraint logic programs. In: Proceedings of the Int\u2019l Conference on Fifth Generation Computer Systems, pp. 581\u2013591. ACM Press, New York (1992)"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint logic programming. Technical report, Department of Computer Science, Monash University (June 1986)","DOI":"10.1145\/41625.41635"},{"key":"2_CR38","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":"2-3","key":"2_CR39","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0743-1066(92)90032-X","volume":"13","author":"G. Janssens","year":"1992","unstructured":"Janssens, G., Bruynooghe, M.: Deriving descriptions of possible values of program variables by means of abstract interpretation. Journal of Logic Programming\u00a013(2-3), 205\u2013258 (1992)","journal-title":"Journal of Logic Programming"},{"issue":"1&2","key":"2_CR40","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0304-3975(90)90065-P","volume":"75","author":"T. Kawamura","year":"1990","unstructured":"Kawamura, T., Kanamori, T.: Preservation of stronger equivalence in unfold\/fold logic program transformation. Theor. Comput. Sci.\u00a075(1&2), 139\u2013156 (1990)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR41","unstructured":"Komorowski, H.J.: A specification of an Abstract Prolog Machine and Its Applications to Partial Evaluation. Phd thesis, Link\u00f5ping University (1981)"},{"key":"2_CR42","first-page":"1649","volume-title":"Proc. of the Fifth Int\u2019l Conference and Symposium on Logic Programming","author":"G. Levi","year":"1991","unstructured":"Levi, G.: Models, unfolding rules and fixpoint semantics. In: Proc. of the Fifth Int\u2019l Conference and Symposium on Logic Programming, vol.\u00a02, pp. 1649\u20131665. MIT Press, Cambridge (1991)"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of logic programming. Springer, New York (1984)","DOI":"10.1007\/978-3-642-96826-6"},{"issue":"3&4","key":"2_CR44","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"Lloyd, J.W., Shepherdson, J.C.: Partial evaluation in logic programming. J. Log. Program.\u00a011(3&4), 217\u2013242 (1991)","journal-title":"J. Log. Program."},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Maher, M.J.: Equivalences of logic programs. In: Foundations of Deductive Databases and Logic Programming, pp. 627\u2013658 (1988)","DOI":"10.1016\/B978-0-934613-40-8.50020-8"},{"key":"2_CR46","first-page":"733","volume-title":"Proc. Fifth Int\u2019l Conf. on Logic Programming","author":"K. Marriott","year":"1988","unstructured":"Marriott, K., S\u00f8ndergaard, H.: Bottom-up abstract interpretation of logic programs. In: Proc. Fifth Int\u2019l Conf. on Logic Programming, pp. 733\u2013748. MIT Press, Cambridge (1988)"},{"key":"2_CR47","first-page":"601","volume-title":"IFIP Congress","author":"K. Marriott","year":"1989","unstructured":"Marriott, K., S\u00f8ndergaard, H.: Semantics-based dataflow analysis of logic programs. In: IFIP Congress, pp. 601\u2013606. North-Holland, Amsterdam (1989)"},{"issue":"1-4","key":"2_CR48","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/176454.176519","volume":"2","author":"K. Marriott","year":"1993","unstructured":"Marriott, K., S\u00f8ndergaard, H.: Precise and efficient groundness analysis for logic programs. LOPLAS\u00a02(1-4), 181\u2013196 (1993)","journal-title":"LOPLAS"},{"key":"2_CR49","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0304-3975(84)90119-1","volume":"34","author":"T. Sato","year":"1984","unstructured":"Sato, T., Tamaki, H.: Enumeration of success patterns in logic programs. Theor. Comput. Sci.\u00a034, 227\u2013240 (1984)","journal-title":"Theor. Comput. Sci."},{"issue":"1-2","key":"2_CR50","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0304-3975(00)00316-9","volume":"277","author":"F. Scozzari","year":"2002","unstructured":"Scozzari, F.: Logical optimality of groundness analysis. Theor. Comput. Sci.\u00a0277(1-2), 149\u2013184 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR51","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E.Y. Shapiro","year":"1983","unstructured":"Shapiro, E.Y.: Algorithmic Program Debugging. MIT Press, Cambridge (1983)"},{"key":"2_CR52","unstructured":"Tamaki, H., Sato, T.: Unfold\/fold transformation of logic programs. In: ICLP, pp. 127\u2013138 (1984)"}],"container-title":["Lecture Notes in Computer Science","A 25-Year Perspective on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14309-0_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T05:32:52Z","timestamp":1740202372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14309-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642143083","9783642143090"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14309-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}