{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:54:05Z","timestamp":1725562445586},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221524"},{"type":"electronic","value":"9783540259510"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25951-0_5","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T06:46:58Z","timestamp":1280904418000},"page":"115-151","source":"Crossref","is-referenced-by-count":3,"title":["On the Semantics of Logic Program Composition"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0743-1066(95)00150-6","volume":"28","author":"K. Apt","year":"1996","unstructured":"Apt, K., Gabbrielli, M., Pedreschi, D.: A closer look to declarative interpretations. Journal of Logic Programming\u00a028(2), 147\u2013180 (1996)","journal-title":"Journal of Logic Programming"},{"key":"5_CR2","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K.R. Apt","year":"1990","unstructured":"Apt, K.R.: Logic programming. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 493\u2013574. Elsevier, Amsterdam (1990)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19-20","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.: Logic Programming and Negation: A Survey. Journal of Logic Programming\u00a019-20, 9\u201371 (1994)","journal-title":"Journal of Logic Programming"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19-20","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. Journal of Logic Programming\u00a019-20, 73\u2013148 (1994)","journal-title":"Journal of Logic Programming"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0743-1066(90)90023-X","volume":"8","author":"R. Barbuti","year":"1990","unstructured":"Barbuti, R., Mancarella, P., Pedreschi, D., Turini, F.: A Transformational Approach to Negation in Logic Programming. Journal of Logic Programming\u00a08, 201\u2013228 (1990)","journal-title":"Journal of Logic Programming"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0743-1066(94)90026-4","volume":"19-20","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"},{"key":"5_CR7","unstructured":"Brogi, A.: Program Construction in Computational Logic. PhD thesis, Department of Computer Science, University of Pisa (1993)"},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1093\/logcom\/9.1.7","volume":"9","author":"A. Brogi","year":"1999","unstructured":"Brogi, A., Contiero, S., Turini, F.: Programming by composing general logic programs. Journal of Logic and Computation\u00a09(1), 7\u201324 (1999)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)80755-4","volume":"184","author":"A. Brogi","year":"1997","unstructured":"Brogi, A., Lamma, E., Mancarella, P., Mello, P.: A unifying view for logic programming with non-monotonic reasoning. Theoretical Computer Science\u00a0184(1), 1\u201359 (1997)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF03037525","volume":"11","author":"A. Brogi","year":"1992","unstructured":"Brogi, A., Lamma, E., Mello, P.: Compositional Model-theoretic Semantics for Logic Programs. New Generation Computing\u00a011(1), 1\u201321 (1992)","journal-title":"New Generation Computing"},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-3-642-76274-1_7","volume-title":"Computational Logic, Symposium Proceedings","author":"A. Brogi","year":"1990","unstructured":"Brogi, A., Mancarella, P., Pedreschi, D., Turini, F.: Composition Operators for Logic Theories. In: Lloyd, J.W. (ed.) Computational Logic, Symposium Proceedings, pp. 117\u2013134. Springer, Heidelberg (1990)"},{"issue":"2","key":"5_CR12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0304-3975(95)00012-L","volume":"149","author":"A. Brogi","year":"1995","unstructured":"Brogi, A., Turini, F.: Fully abstract compositional semantics for an algebra of logic programs. Theoretical Computer Science\u00a0149(2), 201\u2013229 (1995)","journal-title":"Theoretical Computer Science"},{"key":"5_CR13","unstructured":"Bry, F.: A Compositional Semantics for Logic Programs and Deductive Databases. In: Maher, M. (ed.) Proc. of the Joint International Conference and Symposium on Logic Programming, pp. 453\u2013467 (1996)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19-20","author":"M. Bugliesi","year":"1994","unstructured":"Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. Journal of Logic Programming\u00a019-20, 443\u2013502 (1994)","journal-title":"Journal of Logic Programming"},{"key":"5_CR15","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum, New York (1978)"},{"key":"5_CR16","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/3-540-59487-6_3","volume-title":"Proc. 3rd Int. Workshop on Logic Programming and Non Monotonic Reasoning","author":"C.V. Damasio","year":"1995","unstructured":"Damasio, C.V., Pereira, L.M.: Abduction over 3-valued extended logic programs. In: Proc. 3rd Int. Workshop on Logic Programming and Non Monotonic Reasoning, pp. 29\u201342. Springer, Heidelberg (1995)"},{"key":"5_CR17","first-page":"3","volume-title":"Proc. 8th Int. Conf. on Logic Programming ICLP 1991","author":"P.M. Dung","year":"1991","unstructured":"Dung, P.M.: Negation as hypothesis: An abductive foundation for logic programming. In: Furukawa, K. (ed.) Proc. 8th Int. Conf. on Logic Programming ICLP 1991, pp. 3\u201317. The MIT Press, Cambridge (1991)"},{"key":"5_CR18","first-page":"120","volume-title":"Proc. 1st Int. Workshop on Logic Programming and Non-Monotonic Reasoning","author":"P.M. Dung","year":"1991","unstructured":"Dung, P.M., Ruamviboonsuk, P.: Well-founded reasoning with classical negation. In: Proc. 1st Int. Workshop on Logic Programming and Non-Monotonic Reasoning, pp. 120\u2013132. The MIT Press, Cambridge (1991)"},{"key":"5_CR19","first-page":"234","volume-title":"Proc. 6th Int. Conf. on Logic Programming ICLP 1989","author":"K. Eshghi","year":"1989","unstructured":"Eshghi, K., Kowalski, R.A.: Abduction compared with negation by failure. In: Levi, G., Martelli, M. (eds.) Proc. 6th Int. Conf. on Logic Programming ICLP 1989, pp. 234\u2013254. The MIT Press, Cambridge (1989)"},{"key":"5_CR20","unstructured":"Etalle, S., Teusink, F.: A Compositional Semantics for Normal Open Programs. In: Maher, M. (ed.) JICSLP 96 Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 468\u2013482 (1996)"},{"key":"5_CR21","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 Kriple-Kleene semantics for general logic programs. Journal of Logic Programming\u00a04, 295\u2013312 (1985)","journal-title":"Journal of Logic Programming"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Gabbrielli, M., Levi, G., Meo, M.C.: Observable behaviors and equivalences of logic programs. In: Information and Computation, pp. 1\u201329 (1995)","DOI":"10.1006\/inco.1995.1138"},{"key":"5_CR23","first-page":"1070","volume-title":"Proceedings of the Fifth International Conference and Symposium on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Proceedings of the Fifth International Conference and Symposium on Logic Programming, Seattle, pp. 1070\u20131080. The MIT Press, Cambridge (1988)"},{"key":"5_CR24","first-page":"579","volume-title":"Proceedings of the Seventh International Conference and Symposium on Logic Programming","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, D.H.D., Szeredi, P. (eds.) Proceedings of the Seventh International Conference and Symposium on Logic Programming, pp. 579\u2013597. The MIT Press, Cambridge (1990)"},{"issue":"2","key":"5_CR25","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1145\/3149.214118","volume":"32","author":"G. Gottlob","year":"1985","unstructured":"Gottlob, G., Leitsch, A.: On the efficiency of subsumption algorithms. Journal of the ACM\u00a032(2), 280\u2013295 (1985)","journal-title":"Journal of the ACM"},{"key":"5_CR26","unstructured":"Kakas, A.C., Mancarella, P.: Generalized stable models: a semantics for abduction. In: Proceedings of 9th European Conference on Artificial Intelligence ECAI 1990, pp. 385\u2013391. Pitman Publishing (1990)"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0304-3975(84)90017-3","volume":"29","author":"J.L. Lassez","year":"1984","unstructured":"Lassez, J.L., Maher, M.J.: Closures and fairness in the semantics of logic programming. Theoretical Computer Science\u00a029, 167\u2013184 (1984)","journal-title":"Theoretical Computer Science"},{"key":"5_CR28","first-page":"23","volume-title":"Proc. 11th International Conference on Logic Programming","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: Van Entenryck, P. (ed.) Proc. 11th International Conference on Logic Programming, pp. 23\u201337. The MIT Press, Cambridge (1994)"},{"key":"5_CR29","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":"5_CR30","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/B978-0-934613-40-8.50020-8","volume-title":"Deductive databases and logic programming","author":"M.J. Maher","year":"1988","unstructured":"Maher, M.J.: Equivalences of logic programs. In: Minker, J. (ed.) Deductive databases and logic programming, pp. 627\u2013658. Morgan Kaufmann, San Francisco (1988)"},{"key":"5_CR31","first-page":"1006","volume-title":"Proceedings Fifth International Conference on Logic Programming","author":"P. Mancarella","year":"1988","unstructured":"Mancarella, P., Pedreschi, D.: An algebra of logic programs. In: Kowalski, R.A., Bowen, K.A. (eds.) Proceedings Fifth International Conference on Logic Programming, pp. 1006\u20131023. The MIT Press, Cambridge (1988)"},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"Milner, R.: Fully abstract models for typed \u03bb-calculi. Theoretical Computer Science\u00a04, 1\u201323 (1977)","journal-title":"Theoretical Computer Science"},{"key":"5_CR33","first-page":"152","volume-title":"Proceedings of IEEE Symposium on Logic Programming","author":"R. O\u2019Keefe","year":"1985","unstructured":"O\u2019Keefe, R.: Towards an algebra for constructing logic programs. In: Cohen, J., Conery, J. (eds.) Proceedings of IEEE Symposium on Logic Programming, pp. 152\u2013160. IEEE Computer Society Press, Los Alamitos (1985)"},{"key":"5_CR34","first-page":"102","volume-title":"Proc. ECAI 1992","author":"L.M. Pereira","year":"1992","unstructured":"Pereira, L.M., Alferes, J.J.: Well founded semantics for logic programs with explicit negation. In: Proc. ECAI 1992, pp. 102\u2013106. John Wiley and Sons, Chichester (1992)"},{"key":"5_CR35","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0743-1066(94)90028-0","volume":"19 & 20","author":"A. Pettorossi","year":"1994","unstructured":"Pettorossi, A., Proietti, M.: Transformations of logic programs: Foundations and techniques. Journal of Logic Programming\u00a019 & 20, 261\u2013320 (1994)","journal-title":"Journal of Logic Programming"},{"key":"5_CR36","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G.D. Plotkin","year":"1977","unstructured":"Plotkin, G.D.: LCF considered as a programming language. Theoretical Computer Science\u00a05, 223\u2013256 (1977)","journal-title":"Theoretical Computer Science"},{"key":"5_CR37","first-page":"459","volume-title":"Proceedings of the Seventh International Conference and Symposium on Logic Programming","author":"T. Przymusinski","year":"1990","unstructured":"Przymusinski, T.: Extended stable semantics for normal and disjunctive programs. In: Warren, D.H.D., Szeredi, P. (eds.) Proceedings of the Seventh International Conference and Symposium on Logic Programming, pp. 459\u2013477. The MIT Press, Cambridge (1990)"},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","volume-title":"Deductive and Object-Oriented Databases","author":"T. Przymusinski","year":"1991","unstructured":"Przymusinski, T.: Stationary semantics for normal and disjunctive logic programs. In: Delobel, C., Masunaga, Y., Kifer, M. (eds.) DOOD 1991. LNCS, vol.\u00a0566, Springer, Heidelberg (1991)"},{"key":"5_CR39","first-page":"153","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R.: On closed world data bases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 153\u2013173. Plenum, New York (1978)"},{"issue":"4","key":"5_CR40","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":"3","key":"5_CR41","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"issue":"3","key":"5_CR42","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(99)00003-5","volume":"41","author":"S. Verbaeten","year":"2000","unstructured":"Verbaeten, S., Denecker, M., De Schreye, D.: Compositionality of normal open logic programs. Journal of Logic Programming\u00a041(3), 151\u2013183 (2000)","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Program Development in Computational Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25951-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:59:40Z","timestamp":1605761980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25951-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221524","9783540259510"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25951-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}