{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:34:39Z","timestamp":1725561279910},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_10","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T04:53:55Z","timestamp":1280379235000},"page":"128-147","source":"Crossref","is-referenced-by-count":11,"title":["Objective: In Minimum Context"],"prefix":"10.1007","author":[{"given":"Salvador","family":"Abreu","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Diaz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-46584-7_10","volume-title":"Practical Aspects of Declarative Languages","author":"S. Abreu","year":"2000","unstructured":"Abreu, S.: A Logic-based Information System. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol.\u00a01753, pp. 141\u2013153. Springer, Heidelberg (2000)"},{"key":"10_CR2","unstructured":"Abreu, S.: Isco: A practical language for heterogeneous information system construction. In: INAP 2001. INAP (2001)"},{"key":"10_CR3","first-page":"113","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"M. Bugliesi","year":"1992","unstructured":"Bugliesi, M.: A declarative view of inheritance in logic programming. In: Apt, K. (ed.) Proceedings of the Joint International Conference and Symposium on Logic Programming, Washington, USA, pp. 113\u2013127. The MIT Press, Cambridge (1992)"},{"issue":"3es","key":"10_CR4","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/289121.289131","volume":"30","author":"M. Bugliesi","year":"1998","unstructured":"Bugliesi, M., Ciampolini, A., Lamma, E., Mello, P.: Optimizing modular logic languages. ACM Computing Surveys (CSUR)\u00a030(3es), 10 (1998)","journal-title":"ACM Computing Surveys (CSUR)"},{"issue":"20","key":"10_CR5","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19","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":"10_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-44957-4_9","volume-title":"Computational Logic - CL 2000","author":"D. Cabeza","year":"2000","unstructured":"Cabeza, D., Hermenegildo, M.: A New Module System for Prolog. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 131\u2013148. Springer, Heidelberg (2000)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/3-540-56454-3_17","volume-title":"Extensions of Logic Programming","author":"E. Denti","year":"1993","unstructured":"Denti, E., Lamma, E., Mello, P., Natali, A., Omicini, A.: Techniques for implementing contexts in Logic Programming. In: Lamma, E., Mello, P. (eds.) ELP 1992. LNCS, vol.\u00a0660, pp. 339\u2013358. Springer, Heidelberg (1993)"},{"key":"10_CR8","unstructured":"Diaz, D., Codognet, P.: Design and implementation of the gnu prolog system. Journal of Functional and Logic Programming\u00a02001(6) (October 2001)"},{"key":"10_CR9","volume-title":"The Goedel Programming Language","author":"P. Hill","year":"1994","unstructured":"Hill, P., Lloyd, J.: The Goedel Programming Language. MIT Press, Cambridge (1994) ISBN 0-262-08229-2"},{"key":"10_CR10","first-page":"303","volume-title":"Proceedings of the Sixth International Conference on Logic Programming","author":"E. Lamma","year":"1989","unstructured":"Lamma, E., Mello, P., Natali, A.: The design of an abstract machine for efficient implementation of contexts in logic programming. In: Levi, G., Martelli, M. (eds.) Proceedings of the Sixth International Conference on Logic Programming, Lisbon, pp. 303\u2013317. The MIT Press, Cambridge (1989)"},{"key":"10_CR11","volume-title":"Logic and Objects","author":"F.G. McCabe","year":"1992","unstructured":"McCabe, F.G.: Logic and Objects. Prentice-Hall, Englewood Cliffs (1992)"},{"issue":"1,2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D. Miller","year":"1989","unstructured":"Miller, D.: A logical analysis of modules in logic programming. The Journal of Logic Programming\u00a06(1,2), 79\u2013108 (1989)","journal-title":"The Journal of Logic Programming"},{"key":"10_CR13","first-page":"115","volume-title":"Logic Programming Languages: Constraints, Functions and Objects","author":"L. Monteiro","year":"1993","unstructured":"Monteiro, L., Porto, A.: A Language for Contextual Logic Programming. In: Apt, K.R., de Bakker, J.W., Rutten, J.J.M.M. (eds.) Logic Programming Languages: Constraints, Functions and Objects, pp. 115\u2013147. MIT Press, Cambridge (1993)"},{"key":"10_CR14","unstructured":"Moura, P.: Logtalk web site, \n                    \n                      http:\/\/www.logtalk.org\/"},{"key":"10_CR15","unstructured":"Moura, P.: Logtalk 2.6 Documentation. Technical Report DMI 2000\/1, University of Beira Interior, Portugal (2000)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/3-540-57186-8_81","volume-title":"Programming Language Implementation and Logic Programming","author":"A. Natali","year":"1993","unstructured":"Natali, A., Omicini, A.: Objects with State in Contextual Logic Programming. In: Penjam, J., Bruynooghe, M. (eds.) PLILP 1993. LNCS, vol.\u00a0714, pp. 220\u2013234. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T11:58:06Z","timestamp":1552823886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}