{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:50Z","timestamp":1725664430297},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_215","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:12:04Z","timestamp":1330276324000},"page":"486-500","source":"Crossref","is-referenced-by-count":1,"title":["A refinement of import\/export declarations in modular logic programming and its semantics"],"prefix":"10.1007","author":[{"given":"Isambo","family":"Karali","sequence":"first","affiliation":[]},{"given":"Constantin","family":"Halatsis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"32_CR1","unstructured":"A. Brogi. Program Composition in Computational Logic. PhD thesis, Universit\u00e0 di Pisa, 1993."},{"key":"32_CR2","unstructured":"A. Brogi, E. Lamma, and P. Mello. A general framework for structuring logic programs. Technical Report 4\/1, CNR Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, 1990."},{"issue":"91\u2013114","key":"32_CR3","first-page":"1","volume":"3","author":"A. Brogi","year":"1992","unstructured":"A. Brogi, E. Lamma, and P. Mello. Composing open logic programs. Journal of Logic and Computation, 3(91\u201311:4):1\u201325, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"32_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF03037525","volume":"11","author":"A. Brogi","year":"1992","unstructured":"A. Brogi, E. Lamma, and P. Mello. Compositional model-theoretic semantics for logic programs. New Generation Computing, 11:1\u201321, 1992.","journal-title":"New Generation Computing"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Composition operators for logic theories. In J. W. Lloyd, editor, Proceedings of the Computational Logic Symposium, pages 117\u2013134, November 1990.","DOI":"10.1007\/978-3-642-76274-1_7"},{"key":"32_CR6","unstructured":"M. Bugliesi. A declarative view of inheritance in logic programming. In Joint International Conference and Symposium on Logic Programming, pages 112\u2013127, 1992."},{"key":"32_CR7","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19","author":"M. Bugliesi","year":"1994","unstructured":"M. Bugliesi, E. Lamma, and P. Mello. Modularity in logic programming. Journal of Logic Programming, 19, 20:443\u2013502, 1994.","journal-title":"Journal of Logic Programming"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, second edition, 1984.","DOI":"10.1007\/978-3-642-96661-3"},{"key":"32_CR9","first-page":"126","volume":"2","author":"R. Dietrich","year":"1989","unstructured":"R. Dietrich. A preprocessor based module system for Prolog. In TAPSOFT'89 International Joint Conference on Theory and Practice in Software Development, volume 2, pages 126\u2013139, 1989.","journal-title":"TAPSOFT'89 International Joint Conference on Theory and Practice in Software Development"},{"key":"32_CR10","unstructured":"ECL iPSe: User Manual, March 1993."},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"H. Gaifman and E. Shapiro. Fully abstract compositional semantics for logic programs. In 6th Conference on Principles of Programming Languages, pages 134\u2013142, 1989.","DOI":"10.1145\/75277.75289"},{"key":"32_CR12","unstructured":"I. Karali and C. Halatsis. The semantics of a module support for logic programming. Technical report, Department of Informatics, University of Athens, 1993."},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"I. Karali, E. Pelecanos, and C. Halatsis. A versatile module system for Prolog mapped to flat Prolog. In ACM Symposium on Applied Computing, pages 578\u2013585, 1993.","DOI":"10.1145\/162754.168687"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"P. Mancarella and D. Pedreschi. An algebra for logic programs. In 5th International Conference in Logic Programming, pages 1006\u20131023, 1988.","DOI":"10.1016\/0743-1066(88)90013-1"},{"key":"32_CR16","unstructured":"D. Miller. A theory of modules for logic programming. In Proceedings of the 1986 Symposium on Logic Programming, pages 106\u2013114, 1986."},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"L. Monteiro and A. Porto. Contextual logic programming. In 6th International Conference in Logic Programming, pages 284\u2013299, 1989.","DOI":"10.1016\/0743-1066(89)90018-6"},{"key":"32_CR18","unstructured":"L. Monteiro and A. Porto. A transformational view of inheritance in logic programming. In 7th International Conference in Logic Programming, pages 481\u2013494, 1990."},{"key":"32_CR19","unstructured":"Y. Moscowitz and E. Shapiro. Lexical logic programs. In 8th International Symposium in Logic Programming, pages 349\u2013363, 1991."},{"key":"32_CR20","unstructured":"R. O'Keefe. Towards an algebra for constructing logic programs. In IEEE Symposium on Logic Programming, pages 152\u2013160, 1985."},{"issue":"1","key":"32_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(1):147\u2013177, January 1992.","journal-title":"Journal of Logic Programming"},{"key":"32_CR22","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1986."},{"key":"32_CR23","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden Van","year":"1976","unstructured":"M. Van Emden and A. Kowalski. The semantics of predicate logic as a programming language. Journal of the Association for Computing Machinery, 23:733\u2013742, 1976.","journal-title":"Journal of the Association for Computing Machinery"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_215.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T09:07:45Z","timestamp":1640941665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_215"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_215","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}