{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:20Z","timestamp":1725664280621},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584025"},{"type":"electronic","value":"9783540486954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58402-1_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:53:04Z","timestamp":1330271584000},"page":"292-307","source":"Crossref","is-referenced-by-count":2,"title":["Implementations of program composition operations"],"prefix":"10.1007","author":[{"given":"A.","family":"Brogi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Chiarelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Mancarella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Mazzotta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Pedreschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Renso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Turini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0743-1066(90)90023-X","volume":"2","author":"R. Barbuti","year":"1990","unstructured":"R. Barbuti, P. Mancarella, D. Pedreschi, and F. Turini. A transformational approach to negation in logic programs. Journal of Logic Programming, (2):201\u2013228, 1990.","journal-title":"Journal of Logic Programming"},{"key":"21_CR2","unstructured":"K.A. Bowen and R.A. Kowalski. Amalgamating Language and Metalanguage in Logic Programming. In K.L. Clark and S.A. Tarnlund, editors, Logic Programming, pages 153\u2013173. Academic Press, 1982."},{"key":"21_CR3","unstructured":"A. Brogi. Program Construction in Computational Logic. PhD thesis, University of Pisa, March 1993."},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Composition Operators for Logic Theories. In J.W. Lloyd, editor, Computational Logic, Symposium Proceedings, pages 117\u2013134. Springer-Verlag, 1990.","DOI":"10.1007\/978-3-642-76274-1_7"},{"key":"21_CR5","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Hierarchies through Basic Metalevel Operators. In M. Bruynooghe, editor, Proceedings of the Second Workshop on Meta-programming in Logic, pages 381\u2013396, 1990."},{"key":"21_CR6","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Theory Construction in Computational Logic. In J.-M. Jacquet, editor, Constructing Logic Program. Addison-Wesley, 1993."},{"issue":"4","key":"21_CR7","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1145\/183432.183528","volume":"16","author":"Antonio Brogi","year":"1994","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Modular Logic Programming. ACM Transactions on Programming Languages and Systems, 16(3), 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"21_CR8","unstructured":"A. Brogi and F. Turini. Metalogic for Knowledge Representation. In J.A. Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, pages 100\u2013106. Morgan Kaufmann, 1990."},{"key":"21_CR9","unstructured":"COMPULOG. Esprit basic research action. Technical report, 1992. technical annex."},{"key":"21_CR10","unstructured":"D.H.D.Warren. Implementing prolog \u2014 compiling predicates logic programs. Technical Report 39, D.A.I., 1977."},{"key":"21_CR11","unstructured":"L. Giordano and A. Martelli. A modal reconstruction of blocks and modules in logic programming. In Proc. International Logic Programming Symposium, pages 239\u2013253. The MIT Press, 1991."},{"key":"21_CR12","unstructured":"R. Giungato and G. Mura. Studio e realizzazione di meta-operatori su programmi logici. Master's thesis, Universit\u00e0 di Pisa, 1992. (In italian)."},{"key":"21_CR13","unstructured":"P.M. Hill and J.W. Lloyd. Analysis of metaprograms. In H.D. Abramson and M.H. Rogers, editors, Metaprogramming in Logic Programming, pages 23\u201352. The MIT Press, 1989."},{"key":"21_CR14","unstructured":"P.M. Hill and J.W. Lloyd. The G\u00f6del Programming Language. The MIT Press, 1994."},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Hassan Ait Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. The MIT Press, 1991.","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"R.A. Kowalski and J.S. Kim. A metalogic programming approach to multi-agent knowledge and belief. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation. Academic Press, 1991.","DOI":"10.1016\/B978-0-12-450010-5.50019-0"},{"key":"21_CR17","unstructured":"E. Lamma, P. Mello, and A. Natali. The design of an abstract machine for efficient implementation of contexts in logic programming. In G. Levi and M. Martelli, editors, Proceedings Sixth International Conference on Logic Programming, pages 303\u2013317. The MIT Press, 1989."},{"key":"21_CR18","unstructured":"P. Mancarella and D. Pedreschi. An algebra of logic programs. In R. A. Kowalski and K. A. Bowen, editors, Proceedings Fifth International Conference on Logic Programming, pages 1006\u20131023. The MIT Press, 1988."},{"key":"21_CR19","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D. Miller","year":"1989","unstructured":"D. Miller. A logical analysis of modules in logic programming. Journal of Logic Programming, 6:79\u2013108, 1989.","journal-title":"Journal of Logic Programming"},{"key":"21_CR20","unstructured":"Quintus Computer Systems, Inc., Mountain View, California. Quintus Prolog User's Guide, 1986."},{"key":"21_CR21","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0743-1066(92)90042-2","volume":"12","author":"D. T. Sannella","year":"1992","unstructured":"D.T. Sannella and L.A. Wallen. A calculus for the construction of modular Prolog programs. Journal of Logic Programming, 12:147\u2013177, 1992.","journal-title":"Journal of Logic Programming"},{"key":"21_CR22","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, 1986."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58402-1_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:14:47Z","timestamp":1619572487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58402-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584025","9783540486954"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-58402-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}