{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:58Z","timestamp":1725663838802},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540554608"},{"type":"electronic","value":"9783540470830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55460-2_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:07:09Z","timestamp":1330232829000},"page":"102-113","source":"Crossref","is-referenced-by-count":4,"title":["Objects in a logic programming framework"],"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","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. Ait-Kaci","year":"1986","unstructured":"H. Ait-Kaci and R. Nasr. Login: a logic programming language with built-in inheritance. Journal of Logic Programming, 3:182\u2013215, 1986.","journal-title":"Journal of Logic Programming"},{"key":"8_CR2","unstructured":"J.M. Andreoli and R. Pareschi. Linear objects: logical processes with built-in inheritance. In D.H.D. Warren and P. Szeredi, editors, Proc. Seventh International Conference on Logic Programming, pages 495\u2013510. The MIT Press, 1990."},{"key":"8_CR3","unstructured":"A. Brogi, E. Lamma, and P. Mello. Open Logic Theories. In Proceedings of Second Workshop on Extensions of Logic Programming. Kista, January 1991."},{"key":"8_CR4","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":"8_CR5","first-page":"100","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference","author":"A. Brogi","year":"1991","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, Cambridge, CA, 1991. Morgan Kaufmann."},{"key":"8_CR6","unstructured":"W. Chen and D.H. Warren. Objects as intensions. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth International Conference on Logic Programming. The MIT Press, 1988."},{"key":"8_CR7","unstructured":"J.S. Conery. Logical objects. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth International Conference on Logic Programming, pages 420\u2013434. The MIT Press, 1988."},{"key":"8_CR8","unstructured":"K. Furukawa et al. Mandala: A logic based knowledge programming system. In Proc. Int'l Conf. FGCS-84, Tokyo (J), 1984."},{"key":"8_CR9","volume-title":"Proceedings of OOPSLA-86","author":"K. Fukunaga","year":"1986","unstructured":"K. Fukunaga and S. Hirose. An experience with a Prolog-based object-oriented language. In Proceedings of OOPSLA-86. ACM Press, Portland (Oregon), 1986."},{"key":"8_CR10","unstructured":"H. Gallaire. Merging objects and logic programming: Relational semantics. In AAAI-86 Conference Proceedings, 1986."},{"key":"8_CR11","unstructured":"A. Goldberg and D. Robson. Smalltalk-80, The Language and its Implementation. Addison Wesley, 1983."},{"key":"8_CR12","unstructured":"J. Hodas and D. Miller. Representing objects in a logic programming language with scoping constructs. In D.H.D. Warren and P. Szeredi, editors, Proc. Seventh International Conference on Logic Programming. The MIT Press, 1990."},{"key":"8_CR13","unstructured":"F.G. McCabe. Logic and Objects. PhD thesis, University of London, November 1988."},{"key":"8_CR14","unstructured":"P. Mello. Inheritance as combination of Horn clause theories. In D. Lenzerini, D. Nardi, and M. Simi, editors, Inheritance Hierarchies in Knowledge Representation. J. Wiley and Sons, 1991."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"P. Mello and A. Natali. Objects as Communicating Prolog Units. In Proceedings of ECOOP 87, number 276 in LNCS. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-47891-4_17"},{"key":"8_CR16","unstructured":"L. Monteiro and A. Porto. A transformational view of inheritance in logic programming. In D.H.D. Warren and P. Szeredi, editors, Proc. Seventh International Conference on Logic Programming. The MIT Press, 1990."},{"key":"8_CR17","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"},{"issue":"4","key":"8_CR18","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"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55460-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:31:21Z","timestamp":1619559081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55460-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540554608","9783540470830"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-55460-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}