{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:35Z","timestamp":1725664055171},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540589075"},{"type":"electronic","value":"9783540491361"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58907-4_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:52:49Z","timestamp":1330275169000},"page":"222-237","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A stable model semantics for behavioral inheritance in deductive object oriented languages"],"prefix":"10.1007","author":[{"given":"Michele","family":"Bugliesi","sequence":"first","affiliation":[]},{"given":"Hasan M.","family":"Jamil","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"H. A\u00eft-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":"18_CR2","doi-asserted-by":"crossref","unstructured":"H. A\u00eft-Kaci and A. Podelski. Towards a Meaning of LIFE. Technical Report 11, Digital Paris Research Labs, 1991.","DOI":"10.1007\/3-540-54444-5_104"},{"key":"18_CR3","unstructured":"M. Bugliesi. A declarative view of inheritance in logic programming. In K. Apt, editor, Proc. Joint Int. Conference and Symposium on Logic Programming, pages 113\u2013130. The MIT Press, 1992."},{"key":"18_CR4","unstructured":"M. Bugliesi and M. H. Jamil. A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. Technical Report 6, Dip. di Matematica Pura ed Applicata, Univ. di Padova, 1994."},{"key":"18_CR5","unstructured":"G. Dobbie and R. Topor. A Model for Inheritance and Overriding in Deductive Object-Oriented Systems. In Sixteen Australian Computer Science Conference, January 1988."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"G. Dobbie and R. Topor. A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems. Technical report, School of Computing and Information Technology, Griffith University, Nathan Qld 4111, Australia, January 1993.","DOI":"10.1007\/3-540-57530-8_31"},{"key":"18_CR7","unstructured":"Michael Gelfond and Vladimir Lifschitz. The Stable Model Semantics for Logic Programming. In R. A. Kowalski and K. A. Bowen, editors, Proc. 5th Int. Conference on Logic Programming, pages 1081\u20131086. The MIT Press, 1988."},{"volume-title":"PhD Thesis (in preparation)","year":"1994","author":"H. M. Jamil","key":"18_CR8","unstructured":"H. M. Jamil. Semantics of Behavioral Inheritance in Deductive Object-Oriented Databases. PhD Thesis (in preparation), Department of Computer Science, Concordia University, Canada, 1994."},{"key":"18_CR9","unstructured":"H. M. Jamil and L. V. S. Lakshmanan. Orlog: A Logic for Semantic Object-Oriented Models. In Proc. of the International Conference on Information and Knowledge Management, Baltimore, Maryland, pages 584\u2013592, November 1992."},{"key":"18_CR10","unstructured":"M. Kifer, G. Lausen, and J. Wu. Logical Foundations for Object-Oriented and Frame-Based Languages. Technical Report TR-93\/06, Department of Computer Science, SUNY at Stony Brook, 1993. (accepted to Journal of ACM)."},{"issue":"2","key":"18_CR11","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1093\/logcom\/1.2.159","volume":"1","author":"E. Laesen","year":"1990","unstructured":"E. Laesen and D. Vermeir. A Fixpoint Semantics for Ordered Logic. Journal of Logic and Computation, 1(2):159\u2013185, 1990.","journal-title":"Journal of Logic and Computation"},{"volume-title":"Logic and Objects","year":"1992","author":"F.G. McCabe","key":"18_CR12","unstructured":"F.G. McCabe. Logic and Objects. Prentice Hall International, London, 1992."},{"key":"18_CR13","unstructured":"L. Monteiro and A. Porto. A transformational view of inheritance in Logic Programming. In D.H.D. Warren and P. Szeredi, editors, Proc. 7th Int. Conference on Logic Programming, pages 481\u2013494. The MIT Press, 1990."},{"key":"18_CR14","unstructured":"L. Monteiro and A. Porto. Syntactic and Semantic Inheritance in Logic Programming. In J. Darlington and R. Dietrich, editors, Workshop on Declarative Programming. Workshops in Computing, Springer-Verlag, 1991."},{"key":"18_CR15","unstructured":"Teodor Przymusinski. Perfect Model Semantics. In R. A. Kowalski and K. A. Bowen, editors, Proc. 5th Int. Conference on Logic Programming, pages 1081\u20131096. The MIT Press, 1988."},{"volume-title":"The Mathematics of Inheritance Systems","year":"1986","author":"D. S. Touretzky","key":"18_CR16","unstructured":"D. S. Touretzky. The Mathematics of Inheritance Systems. Morgan Kaufmann, Los Altos, CA, 1986."}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT '95"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58907-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:22:30Z","timestamp":1558268550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58907-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540589075","9783540491361"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-58907-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}