{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:30:34Z","timestamp":1738387834259,"version":"3.35.0"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1995,9,1]],"date-time":"1995-09-01T00:00:00Z","timestamp":809913600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Comput. Sci. & Technol."],"published-print":{"date-parts":[[1995,9]]},"DOI":"10.1007\/bf02948338","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T03:36:34Z","timestamp":1221190594000},"page":"425-438","source":"Crossref","is-referenced-by-count":1,"title":["Logical object as a basis of knowledge based systems"],"prefix":"10.1007","volume":"10","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":"BF02948338_CR1","doi-asserted-by":"crossref","unstructured":"Bologna S, Ness E, Sivertsen T. Dependable knowledge based systems development and verification: What we can learn from software engineering and what we need. InProc. of Tools for Artificial Intelligence, IEEE, 1990, pp.86\u201395.","DOI":"10.1109\/TAI.1990.130315"},{"issue":"12","key":"BF02948338_CR2","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":"BF02948338_CR3","unstructured":"Xu Dianxiang, Zheng Guoliang. A hybrid knowledge representation based on logical objects. InProc. of Int\u2019l Conf. on Expert Systems for Development, Bangkok, March 1994."},{"key":"BF02948338_CR4","unstructured":"Xu Dianxiang, Zheng Guoliang. Logical knowledge objects. InProc. of JKJCES\u201994, Tokyo, March 1994."},{"key":"BF02948338_CR5","unstructured":"Terwilliger R B, Kirstis P A. PK\/C++: An object oriented, logic based, executable specification language. InProc. of the 22th Hawaii Int\u2019l Conf. on System Science, 1989."},{"key":"BF02948338_CR6","unstructured":"Kwok C S, Sergot M. A metalevel approach to object-oriented structuring of logic programs. InProc. of ICSC\u201992, Hong Kong, pp.574\u2013580."},{"key":"BF02948338_CR7","unstructured":"Hodas J S, Miller D. Representing objects in a logic programming language with scoping constructs. InLogic Programming: Proc. of the 7th Int\u2019l Conf., MIT Press, 1990, pp.511\u2013526."},{"key":"BF02948338_CR8","unstructured":"Chen W D, Warren D S. Objects as intentions. InLogic Programming: Proc. of the 5th Int\u2019l Conf., MIT Press, 1988, pp.404\u2013416."},{"key":"BF02948338_CR9","unstructured":"Mello P. Inheritance as combination of Horn clause theories. InInheritance Hierarchies in Knowledge Representation and Programming Languages, John Wiley & Sons, 1991."},{"key":"BF02948338_CR10","unstructured":"Mccabe F G. Logic and Objects. Prentice Hall, 1992."},{"key":"BF02948338_CR11","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":"BF02948338_CR12","unstructured":"Plotkin G D. A structural approach to operational semantics.Technical Report FAIMI FN19, Computer Science Department, Arhus University, 1981."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948338.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02948338\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T22:24:39Z","timestamp":1738362279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02948338"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,9]]},"references-count":12,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1995,9]]}},"alternative-id":["BF02948338"],"URL":"https:\/\/doi.org\/10.1007\/bf02948338","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[1995,9]]}}}