{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:26:06Z","timestamp":1725636366971},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540531326"},{"type":"electronic","value":"9783642760716"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-3-642-76071-6_5","type":"book-chapter","created":{"date-parts":[[2011,11,22]],"date-time":"2011-11-22T18:16:55Z","timestamp":1321985815000},"page":"38-47","source":"Crossref","is-referenced-by-count":16,"title":["Hybrid Inferences in KL-ONE-based Knowledge Representation Systems"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Hollunder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Terminological Cycles in KL-ONE-based Knowledge Representation Languages","author":"F Baader","year":"1990","unstructured":"F. Baader. Terminological Cycles in\n                  KL-ONE-based Knowledge Representation Languages. DFKI Research Report RR-90\u201301, DFKI, Postfach 2080, D-6750 Kaiserslautern, West Germany. To appear in the Proc. of the 8th National Conference of the AAAI, Boston, Mas., 1990."},{"key":"5_CR2","first-page":"34","volume-title":"The tractability of subsumption in frame based description languages","author":"RJ Brachmann","year":"1984","unstructured":"R. J. Brachmann, H. J. Levesque. \u201cThe tractability of subsumption in frame based description languages.\u201c In Proceedings of the 4th National Conference of the AAAIpp. 34\u201337, Austin, Tex., 1984."},{"key":"5_CR3","first-page":"532","volume-title":"An essential hybrid reasoning system: knowledge and symbol level accounts in KRYPTON","author":"RJ Brachman","year":"1985","unstructured":"R. J. Brachman, V. Pigman Gilbert, H. J. Levesque. \u201cAn essential hybrid reasoning system: knowledge and symbol level accounts in KRYPTON.\u201c In Proceedings of the 9th IJCAIpp. 532\u2013539, Los Angeles, Cal., 1985."},{"issue":"2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"RJ Brachman","year":"1985","unstructured":"R. J. Brachman, J. G. Schm\u00f6lze. \u201cAn Overview of the KL-ONEknowledge representation system.\u201c Cognitive Science, 9(2):171\u2013216, April 1985.","journal-title":"Cognitive Science"},{"key":"5_CR5","volume-title":"Source of Complexity in Terminological Reasoning","author":"F Donini","year":"1990","unstructured":"F. Donini, B. Hollunder, M. Lenzerini, A. Marchetti Spaccamela, Daniele Nardi, W.Nutt. A Source of Complexity in Terminological ReasoningDFKI Research Report, DFKI, Postfach 2080, D-6750 Kaiserslautern, West Germany. Forthcoming."},{"key":"5_CR6","unstructured":"B. Hollunder. Hybrid Inferences in KL-ONE-basedKnowledge Representation Systems.DFKI Research Report RR-90\u201306, DFKI, Postfach 2080, D-6750 Kaiserslautern, West Germany."},{"key":"5_CR7","volume-title":"Subsumption Algorithms for Concept Description Languages","author":"B Hollunder","year":"1990","unstructured":"B. Hollunder, W. Nutt. Subsumption Algorithms for Concept Description Languages.DFKI Research Report RR-90\u201304, DFKI, Postfach 2080, D-6750 Kaiserslautern, West Germany. To appear in the Proc. of the 9th ECAI, Stockholm, Sweden, 1990."},{"key":"5_CR8","first-page":"578","volume-title":"Recent developments in NIKL","author":"TS Kaczmarek","year":"1986","unstructured":"T.S Kaczmarek, R. Bates, G. Robins. \u201cRecent developments in NIKL.\u201c In Proceedings of the 5th National Conference of theAAAI, pp. 578\u2013587, Philadelphia, Pa., 1986."},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"HJ Levesque","year":"1987","unstructured":"H. J. Levesque, R. J. Brachman. \u201cExpressiveness and tractability in knowledge representation and reasoning.\u201c Computational Intelligence, 3:78\u201393, 1987.","journal-title":"Computational Intelligence"},{"key":"5_CR10","volume-title":"The Loom Knowledge Representation Language","author":"R MacGregor","year":"1987","unstructured":"R. MacGregor, R. Bates. The Loom Knowledge Representation Language. Technical Report ISI\/RS-87\u2013188, University of Southern California, Information Science Institute, Marina del Rey, Cal., 1987."},{"key":"5_CR11","unstructured":"B. Nebel. Reasoning and Revision in Hybrid Representation Systems, PhD thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, West Germany, 1989. To appear in Lecture Notes in Artificial Intelligence, Springer Verlag."},{"key":"5_CR12","first-page":"260","volume-title":"Methodologies for Intelligent Systems","author":"B Nebel","year":"1988","unstructured":"B. Nebel, K. von Luck. \u201cHybrid reasoning in BACK.\u201c In Z. W. Ras, L. Saitta (editors), Methodologies for Intelligent Systems, pp. 260\u2013269, North Holland, Amsterdam, Netherlands, 1988."},{"key":"5_CR13","volume-title":"Representation and Reasoning with Attributive Description","author":"B Nebel","year":"1989","unstructured":"B. Nebel, G. Smolka. Representation and Reasoning with Attributive DescriptionsIWBS Report81, August 1989, IWBS, IBM Deutschland, Stuttgart, W: Germany."},{"key":"5_CR14","unstructured":"P. Patel-Schneider. \u201cSmall can be beautiful in knowledge representation.\u201c In Proceedings of the IEEE Workshop on Principles of Knowledge-Based Systems, pp. 11\u201316, Denver, Colo., 1984."},{"key":"5_CR15","volume-title":"Attributive Concept Descriptions with Unions and Complements","author":"M Schmidt-Schau\u00df","year":"1988","unstructured":"M. Schmidt-Schau\u00df, G. Smolka. Attributive Concept Descriptions with Unions and ComplementsSEKI Report SR-88\u201321, FB Informatik, Universit\u00e4t Kaiserslautern, D- 6750, Kaiserslautern, West Germany, 1988. To appear in Artificial Intelligence."},{"key":"5_CR16","volume-title":"The restricted language architecture of a hybrid representation system","author":"MB Vilain","year":"1985","unstructured":"M. B. Vilain. \u201cThe restricted language architecture of a hybrid representation system.\u201cIn R. J. Bachmann, H. J. Levesque, R. Reiter (editors),Proceedings of the 9th IJCAI, pp. 547\u2013551, Los Angeles, Cal., 1985."}],"container-title":["Informatik-Fachberichte","GWAI-90 14th German Workshop on Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76071-6_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T03:03:12Z","timestamp":1606273392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76071-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540531326","9783642760716"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76071-6_5","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1990]]}}}