{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:33Z","timestamp":1725456333295},"publisher-location":"Berlin\/Heidelberg","reference-count":25,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055498X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013604","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:35:56Z","timestamp":1132727756000},"page":"73-88","source":"Crossref","is-referenced-by-count":0,"title":["Open logic theories"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"No.4","key":"3_CR1","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/BF03037077","volume":"3","author":"K.A. Bowen","year":"1985","unstructured":"K.A. Bowen. Meta-level programming and knowledge representation. New Generation Computing. Vol. 3, No. 4, pp. 359\u2013383, 1985.","journal-title":"New Generation Computing"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"A. Brogi, E. Lamma, P. Mancarella, and P. Mello. Abductive reasoning in a multitheory framework. In Proceedings Second Congress of The Italian Association for Artificial Intelligence, Palermo (I), October 1991. Lecture Notes in Artificial Intelligence, Vol. 475, Springer-Verlag.","DOI":"10.1007\/3-540-54712-6_226"},{"key":"3_CR3","unstructured":"A. Brogi, E. Lamma, and P. Mello. A general framework for structuring logic programs. Technical Report 4\/1, CNR \u2014 Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, Sottoprogetto 4, 1990."},{"key":"3_CR4","unstructured":"A. Brogi, E. Lamma, and P. Mello. Inheritance and Hypothetical Reasoning in Logic Programming. In Proceedings of 9th European Conference on Artificial Intelligence, pages 105\u2013110. Pitman, 1990."},{"key":"3_CR5","unstructured":"A. Brogi, E. Lamma, and P. Mello. Composing Open Logic Theories. Technical Report 4\/28, CNR \u2014 Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, Sottoprogetto 4, 1991."},{"key":"3_CR6","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":"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, Brussels, November 1990."},{"key":"3_CR7","unstructured":"P. Coscia, P. Franceschi, G. Levi, G. Sardu, and L. Torre. Metalevel definition and compilation of inference engines in the epsilon logic programming environment. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth International Conference on Logic Programming, pages 359\u2013373. The MIT Press, 1988."},{"key":"3_CR8","unstructured":"K. Eshgi and R.A. Kowalski. Abduction compared with negation by failure. In G. Levi and M. Martelli, editors, Proc. Sixth International Conference on Logic Programming, page 234. The MIT Press, 1989."},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","volume":"4","author":"D.M. Gabbay","year":"1984","unstructured":"D.M. Gabbay and N. Reyle. N-prolog: an extension of prolog with hypothetical implications. Journal of Logic Programming, 4:319\u2013355, 1984.","journal-title":"Journal of Logic Programming"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"H. Gaifman and E. Shapiro. Fully abstract compositional semantics for logic programs. In Proc. sixteenth POPL, pages 134\u2013142, 1989.","DOI":"10.1145\/75277.75289"},{"key":"3_CR11","unstructured":"L. Giordano, A. Martelli, and G.F. Rossi. Local definitions with static scope rules in logic languages. In Proceedings of International Conference FGCS, 1988."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"J. Hodas and D. Miller. Logic programming in a fragment of intuitionistic linear logic. In Proceedings of Second Workshop on Extensions of Logic Programming. Kista, January 1991.","DOI":"10.1109\/LICS.1991.151628"},{"key":"3_CR13","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, Proc. Sixth International Conference on Logic Programming, pages 303\u2013317. The MIT Press, 1989."},{"key":"3_CR14","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":"3_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(88)90005-2","volume":"5","author":"L.T. McCarthy","year":"1988","unstructured":"L.T. McCarthy. Clausal intuitionistic logic 1: fixed point semantics. Journal of Logic Programming, 5:1\u201331, 1988.","journal-title":"Journal of Logic Programming"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"P. Mello and A. Natali. Programs as collections of communicating prolog units. In B. Robinet and R. Wichelm, editors, Proceedings of ESOP 86, number 243 in LNCS, pages 274\u2013288. Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16442-1_21"},{"key":"3_CR17","unstructured":"P. Mello, A. Natali, and C. Ruggieri. Logic programming in a software engineering perspective. In L. Lusk and R.A. Overbeek, editors, Proc. NACLP, pages 451\u2013458. The MIT Press, 1989."},{"key":"3_CR18","doi-asserted-by":"publisher","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":"3_CR19","unstructured":"L. Monteiro and A. Porto. Contextual logic programming. In G. Levi and M. Martelli, editors, Proc. Sixth International Conference on Logic Programming, pages 284\u2013302. The MIT Press, 1989."},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"R.C. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25:75\u201394, 1985.","journal-title":"Artificial Intelligence"},{"key":"3_CR21","unstructured":"R. O'Keefe. Towards an algebra for constructing logic programs. In Proceedings of IEEE Symposium on Logic Programming, pages 152\u2013160, 1985."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"R. Reiter. On closed world data bases. In H. Gallaire and J.Minker, editors, Logic and Data Bases. Plenum, 1978.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"3_CR23","unstructured":"D.T. Sannella and L.A. Wallen. A calculus for the construction of modular prolog programs. In Proceedings of IEEE Symposium on Logic Programming, pages 368\u2013378. IEEE Computer Society Press, 1987."},{"issue":"4","key":"3_CR24","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. Journal of the ACM, 23(4):733\u2013742, 1976.","journal-title":"Journal of the ACM"},{"key":"3_CR25","unstructured":"D.S. Warren. Database updates in prolog. In Proceedings of International Conference FGCS, pages 244\u2013253, 1984."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:28:14Z","timestamp":1586579294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013604"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055498X"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0013604","relation":{},"subject":[]}}