{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T10:31:01Z","timestamp":1649068261227},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Compt. Sci. & Technol."],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1007\/bf02943522","type":"journal-article","created":{"date-parts":[[2008,9,4]],"date-time":"2008-09-04T16:28:00Z","timestamp":1220545680000},"page":"61-71","source":"Crossref","is-referenced-by-count":0,"title":["Towards a declarative semantics of inheritance with exceptions"],"prefix":"10.1007","volume":"11","author":[{"given":"Dianxiang","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoliang","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02943522_CR1","unstructured":"Hodas J S, Miller D. Representing objects in a logic programming language, with scoping constructs. InProc. of the 7th Int'l Conf. on Logic Programming, MIT Press, 1990, pp. 511\u2013526."},{"key":"BF02943522_CR2","doi-asserted-by":"crossref","unstructured":"Brogi A, Lemma E, Mello P. Objects in a logic programming framework. InLNAI, Vol. 592, Springer-Verlag, 1990, pp. 102\u2013113.","DOI":"10.1007\/3-540-55460-2_8"},{"key":"BF02943522_CR3","unstructured":"Bugliesi M. A declarative view of inheritance in logic programming. InProc. of the 9th Int'l Conf. on Logic Programming, MIT Press, 1992, pp. 113\u2013127."},{"key":"BF02943522_CR4","unstructured":"Mello P. Inheritance as combination of Horn clause theories. InInheritance Hierarchies in Knowledge Representation and Programming Languages, John Wiley & Sons, 1991, pp. 275\u2013289."},{"issue":"12","key":"BF02943522_CR5","doi-asserted-by":"crossref","first-page":"1076","DOI":"10.1109\/32.184762","volume":"18","author":"J J P Tsai","year":"1992","unstructured":"Tsai J J P, Weigert T, Jang H-C. A hybrid knowledge representation as a basis of requirement specification and specification analysis.IEEE Trans. on Software, Engineering, 1992, 18(12): 1076\u20131099.","journal-title":"IEEE Trans. on Software, Engineering"},{"key":"BF02943522_CR6","doi-asserted-by":"crossref","unstructured":"Omicini A, Natali A. Object-oriented computations in logic programming. InECOOP'94 and LNCS 821, Springer-Verlag, 1994, pp. 194\u2013212.","DOI":"10.1007\/BFb0052184"},{"key":"BF02943522_CR7","unstructured":"Conery J S. Logical objects. InProc. of the 5th Int'l Conf. on Logic Programming, MIT Press, 1988, pp. 420\u2013434."},{"key":"BF02943522_CR8","unstructured":"Mccabe F G. Logic and Objects. Prentice Hall, 1992."},{"key":"BF02943522_CR9","doi-asserted-by":"crossref","unstructured":"Kim B Met al. Combining many-sorted logic and object oriented programming.Information & Software Technology, 1993, 35(4).","DOI":"10.1016\/0950-5849(93)90072-B"},{"key":"BF02943522_CR10","unstructured":"Xu Dianxiang, Zheng Guoliang. A hybrid knowledge representation based on logical objects. InProc. of Int'l Conf. on Expert Systems for Development, Bankok, 1994, 3."},{"key":"BF02943522_CR11","unstructured":"Przymusinski T C. Non-monotonic formalisms and logic programming. InProc. of the 6th Int'l Conf. on Logic Programming, MIT Press, 1989, pp. 655\u2013674."},{"key":"BF02943522_CR12","unstructured":"Kowalski R A, Sadri F. Logic programs with exceptions. InProc. of the 5th Int'l Conf. on Logic Programming, MIT Press, 1990, pp. 598\u2013613."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943522.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02943522\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943522","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:16:21Z","timestamp":1558469781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02943522"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["BF02943522"],"URL":"https:\/\/doi.org\/10.1007\/bf02943522","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}