{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:33Z","timestamp":1725663393150},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540562825"},{"type":"electronic","value":"9783540475057"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-56282-6_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:00:33Z","timestamp":1330254033000},"page":"105-119","source":"Crossref","is-referenced-by-count":4,"title":["Meta for modularising logic programming"],"prefix":"10.1007","author":[{"given":"A.","family":"Brogi","sequence":"first","affiliation":[]},{"given":"P.","family":"Mancarella","sequence":"additional","affiliation":[]},{"given":"D.","family":"Pedreschi","sequence":"additional","affiliation":[]},{"given":"F.","family":"Turini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"K. R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 493\u2013574. Elsevier, 1990. Vol. B.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"7_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":"7_CR3","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":"7_CR4","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Modules as Logic Programs. Technical report, University of Pisa, 1992."},{"key":"7_CR5","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":"7_CR6","doi-asserted-by":"crossref","unstructured":"K. Clark. Negation as failure. In H. Gallaire and J.Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"7_CR7","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":"7_CR8","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":"7_CR9","unstructured":"P.M. Hill and J.W. Lloyd. The logic programming language G\u00f6del. Technical report, University of Bristol, 1991."},{"key":"7_CR10","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":"7_CR11","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0304-3975(84)90017-3","volume":"29","author":"J. L. Lassez","year":"1984","unstructured":"J.L. Lassez and M. Maher. Closures and fairness in the semantics of logic programming. Theoretical Computer Science, 29:167\u2013184, 1984.","journal-title":"Theoretical Computer Science"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of logic programming. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"7_CR13","unstructured":"P. Mancarella and D. Pedreschi. An algebra of logic programs. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth International Conference on Logic Programming, pages 1006\u20131023. The MIT Press, 1988."},{"key":"7_CR14","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":"7_CR15","unstructured":"R. O'Keefe. Towards an algebra for constructing logic programs. In J. Cohen and J. Conery, editors, Proceedings of IEEE Symposium on Logic Programming, pages 152\u2013160. IEEE Computer Society Press, 1985."},{"key":"7_CR16","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"},{"issue":"4","key":"7_CR17","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. JACM, 23(4):733\u2013742, 1976.","journal-title":"JACM"}],"container-title":["Lecture Notes in Computer Science","Meta-Programming in Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56282-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:48:58Z","timestamp":1619570938000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56282-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540562825","9783540475057"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-56282-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}