{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:32:06Z","timestamp":1725629526262},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540184942"},{"type":"electronic","value":"9783642887192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-642-88719-2_2","type":"book-chapter","created":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T20:48:41Z","timestamp":1343508521000},"page":"12-21","source":"Crossref","is-referenced-by-count":2,"title":["A Uniform and Integrated Description System"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Attardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Simi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"A Logic Programming Language with Built-in Inheritance","author":"H Ait-Kaci","year":"1985","unstructured":"Ait-Kaci, H. and R. Nasr (1985) LOGIN: A Logic Programming Language with Built-in Inheritance, MCC Technical Report number AI-068-85."},{"key":"2_CR2","volume-title":"Consistency and Completeness of Omega, a Logic for Knowledge Representation","author":"G Attardi","year":"1981","unstructured":"Attardi, G. and M. Simi (1981a) Consistency and Completeness of Omega, a Logic for Knowledge Representation. IJCAI. Vancouver."},{"key":"2_CR3","volume-title":"Semantics of Inheritance and Attributions in the Description System Omega","author":"G Attardi","year":"1981","unstructured":"Attardi, G. and M. Simi (1981b) Semantics of Inheritance and Attributions in the Description System Omega. AI Memo 642, M.I.T."},{"key":"2_CR4","volume-title":"Metalanguage and Reasoning across Viewpoints","author":"G Attardi","year":"1984","unstructured":"Attardi, G. and M. Simi (1984) Metalanguage and Reasoning across Viewpoints. Proc. of Sixth European Conference on Artificial Intelligence, Pisa."},{"key":"2_CR5","volume-title":"Taxonomic Reasoning","author":"G Attardi","year":"1986","unstructured":"Attardi, G., A. Corradini, S. Diomedi and M. Simi (1986) Taxonomic Reasoning, Proc. of ECAI 86, Brighton."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Attardi, G. and M. Simi (1986) A Description Oriented Logic for Building Knowledge Bases. Proceedings of the IEEE, Vol. 74, N. 10, pag. 1335\u20131344, October 1986.","DOI":"10.1109\/PROC.1986.13635"},{"key":"2_CR7","unstructured":"Brachman, R.J., Gilbert, V.P., Levesque, H.J., (1985) An Essential Hybrid Reasoning System: Knowledge and Symbol Levels Accounts of Krypton. Proc. of 9th IJCAI, Los Angeles, 1985."},{"key":"2_CR8","volume-title":"An Overview of the KL-ONE Knowledge Representation System","author":"RJ Brachman","year":"1985","unstructured":"Brachman, R.J., Schm\u00f6lze (1985) An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2), April-June."},{"key":"2_CR9","unstructured":"deKleer. J., Doyle, J., Rich, C., Steele, G.L., Sussman, G.J., (1978) AMORD: a Deductive Procedure System. MIT AI-Memo 435."},{"key":"2_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4917.001.0001","volume-title":"NETL: A System for Representing and Using Real World Knowledge","author":"S Fahlman","year":"1979","unstructured":"Fahlman, S., (1979) NETL: A System for Representing and Using Real World Knowledge. MIT Press."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Fikes, R. E. and T. P. Kehler, (1985) The Role of Frame-Based Representation in Reasoning. CACM Vol. 28, No. 9.","DOI":"10.1145\/4284.4285"},{"key":"2_CR12","unstructured":"Kalish and Montague (1964) Logic: Techniques of Formal Reasoning. Harcourt, Brace and World."},{"key":"2_CR13","volume-title":"Using parallel processing for problem solving","author":"W Kornfeld","year":"1982","unstructured":"Kornfeld, W. (1982). Using parallel processing for problem solving. M. I. T. Ph.D. Thesis."},{"key":"2_CR14","volume-title":"Knowledge Embedding in the Description System Omega","author":"C Hewitt","year":"1980","unstructured":"Hewitt, C., Attardi, G., Simi M. (1980) Knowledge Embedding in the Description System Omega. Proc. of First AAAI Conference, Stanford."},{"key":"2_CR15","volume-title":"Artificial Intelligence","author":"W Martin","year":"1979","unstructured":"Martin, W., (1979) Description and Specialization of Concepts. In Patrick Winston and Richard Brown, Eds. Artificial Intelligence, MIT Press, Cambridge."},{"key":"2_CR16","volume-title":"Research in Knowledge Representation and Understanding","author":"MG Moser","year":"1983","unstructured":"Moser M.G., (1983) An Overview of NIKL, the New Implementation of KL-ONE, in Sidner, C.L. (ed.), Research in Knowledge Representation and Understanding, BBN Laboratories Report No. 5421."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Mylopoulos, J., P. A. Bernstein, H. K. T. Wong (1980) A Language Facility for Designing Database-intensive Applications, ACM Transactions on Database Systems, Vol 5, No. 2.","DOI":"10.1145\/320141.320150"},{"key":"2_CR18","unstructured":"Steels L., (1979) Reasoning Modeled as a Society of Communicating Experts, AI Lab Technical Report 542, MIT."},{"key":"2_CR19","unstructured":"Stefik, M., Bobrow, D.G., Mittal, S., Conway, L. (1983) Knowledge Programming in LOOPS: Report on an Experimental Course, The AI Magazine, Vol. 4, No. 3, Fall, pp 3\u201314."},{"key":"2_CR20","volume-title":"An Approach to Hybrid Knowledge Representation","author":"M Vilain","year":"1985","unstructured":"Vilain, M. (1985) An Approach to Hybrid Knowledge Representation, Proc. of 9th IJCAI, Los Angeles."}],"container-title":["Wissensbasierte Systeme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-88719-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,27]],"date-time":"2020-11-27T02:40:01Z","timestamp":1606444801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-88719-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540184942","9783642887192"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-88719-2_2","relation":{},"subject":[],"published":{"date-parts":[[1987]]}}}