{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:13Z","timestamp":1725455833669},"publisher-location":"Berlin\/Heidelberg","reference-count":33,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051659X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0026293","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:35:17Z","timestamp":1132396517000},"page":"14-51","source":"Crossref","is-referenced-by-count":0,"title":["The knowledge representation language LLILOG"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen","family":"D\u00f6rre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Udo","family":"Pletat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claus","family":"Rollinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter H.","family":"Schmitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudi","family":"Studer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft Kaci","year":"1986","unstructured":"A\u00eft Kaci, H. & Nasr, R.: LOGIN: A Logic Programming Language with Built in Inheritance, in: Journal of Logic Programming, Vol. 3, 1986, pp. 185\u2013215.","journal-title":"Journal of Logic Programming"},{"key":"2_CR2","unstructured":"Brachmann, R.J. & Gilbert, V.P. & Levesque, H.J.: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON, in: Proc. IJCAI, Los Angles 1985."},{"key":"2_CR3","volume-title":"Linguistic Approaches to AI","author":"T. Bollinger","year":"1988","unstructured":"Bollinger, T. & Hedtst\u00fcck, U. & Rollinger, C.-R. & Studer, R.: Text Understanding in LILOG, to appear in: Schmitz & Kunz (eds): Linguistic Approaches to AI, Peter Lang, Frankfurt, 1988."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D. & Jones, C.B.: The Vienna Development Method: The Meta Language, LNCS 61, Springer-Verlag, 1978.","DOI":"10.1007\/3-540-08766-4"},{"key":"2_CR5","unstructured":"Bouma, G. & K\u00f6nig, E. & Uszkoreit, H.: The Application of the Stuttgart Type Unification Formalism to Syntactic and Semantic Processing, in: IBM Journal of Research and Development, March 1988."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Beierle, C. & Pletat, U.: Feature Graphs and Abstract Data Types: A Unifying Approach, LILOG Report 39, IBM Germany, Stuttgart 1988, to appear in: Proc. COLING, Budapest, 1988.","DOI":"10.3115\/991635.991644"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Beierle, C. & Pletat, U. & Uszkoreit, H.: An Algebraic Characterization of STUF, in: Proc. Symposium on Computer Linguistics and its Theoretical Foundations, Saarbr\u00fccken, March 1988, to appear in Springer Verlag","DOI":"10.1007\/978-3-642-74282-8_2"},{"key":"2_CR8","unstructured":"Di Primio, F. & Bewka, G.: Babylon: Kernel System of an Integrated Environment for Expert System Development and Operation, in: Proc. 5th. Internat. Workshop on Expert Systems and their Applications, Avignon, 1985."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, H. & Mahr, B.: Fundamentals of Algebraic Specification 1, Springer 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"2_CR10","unstructured":"Fenstad, J.E. & Halvorsen, P. K. & Langholm, T. & van Benthem, J.: Equations, Schemata and Situations: A Framework for Linguistic Semantics. CSLI Report No. 29, Stanford, 1985."},{"issue":"9","key":"2_CR11","doi-asserted-by":"crossref","first-page":"904","DOI":"10.1145\/4284.4285","volume":"28","author":"R. Fikes","year":"1985","unstructured":"Fikes, R. & Kehler, T.: The Role of Frame-Based Representation in Reasoning, in: CACM 28\/9, pp. 904\u2013920, 1985.","journal-title":"CACM"},{"key":"2_CR12","unstructured":"Goguen, J.A. & Burstall, R.M.: Institutions: Abstract Model Theory for Computer Science, CSLI Report No. 30, Stanford, 1985."},{"key":"2_CR13","unstructured":"Goguen, J.A. & Meseguer, J.: Order-Sorted Algebra I: Partial and Overloaded Operators, Errors and Inheritance, Computer Science Lab, SRI International, 1987."},{"key":"2_CR14","unstructured":"Goguen, J.A. & Thatcher, J.W. & Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, in: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh (ed)), Prentice Hall, pp. 80\u2013144, 1978."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Habel, Ch.: Prinzipien der Referentialit\u00e4t, Informatik Fachberichte 122, Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-71149-7"},{"key":"2_CR16","unstructured":"Herzog, O. et al.: LILOG \u2014 Linguistic and Logic Methods for the Computational Understanding of German, LILOG Report 1b, IBM Germany, Stuttgart 1986."},{"key":"2_CR17","unstructured":"Kamp, H.: A Theory of Truth and Semantic Representation, in: J. A. Groenendijk et al. (eds.): Formal Methods in the Study of Natural Language, Vol. 1, Amsterdam, 1981."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"von Luck, K.: Semantic Networks with Number Restricted Roles or Another Story about Clyde, in: Proc. GWAI 1986, Springer Verlag.","DOI":"10.1007\/978-3-642-71385-9_6"},{"key":"2_CR19","unstructured":"Maier, J.: Design and Implementation of a Knowledge Structuring Concept for LLILOG, Master Thesis, University of Stuttgart, Institut f\u00fcr Informatik, 1988."},{"key":"2_CR20","unstructured":"Moser, M.G.: An Overview of NIKL \u2014 the New Implementation of KL-ONE, in: Bolt, Beranek and Newmann Inc. Report No. 5421, Research in Knowledge Representation, 1983."},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF01396685","volume":"145","author":"A. Oberschelp","year":"1962","unstructured":"Oberschelp, A.: Untersuchungen zur mehrsortigen Quantorenlogik, in: Mathematische Annalen 145, 297\u2013333, 1962.","journal-title":"Mathematische Annalen"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Rollinger, C.-R. & Studer, R. & Uszkoreit, H. & Wachsmuth, I.: Textunderstanding in LILOG \u2014 Sorts and Reference Objects, in: Brauer & Wahlster (eds): Knowledge Based Systems, Informatik Fachberichte 155, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-88719-2_21"},{"key":"2_CR23","unstructured":"Smolka, G. & Ait-Kaci, H.: Inheritance Hierarchies: Semantics and Unification, MCC Tech. Report AI-057-87, 1987, to appear in: Journal of Symbolic Computation."},{"key":"2_CR24","unstructured":"Stefik, M. & Bobrow, D.G.: Object-oriented Programming: Themes and Variations, in: AI Magazine, 6\/4, 1986."},{"key":"2_CR25","unstructured":"Sowa, J., Foo, N.Y.: Conceptual Graphs for Knowledge Systems, in preparation."},{"key":"2_CR26","unstructured":"Schmolze, J.G. & Lipkis, T.A.: Classification in the KL-ONE Knowledge Representation System, in: Proc. of IJCAI 1983, Karlsruhe."},{"key":"2_CR27","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J. Sowa","year":"1984","unstructured":"Sowa, J.: Conceptual Structures: Information Processing in Mind and Machine, Addison Wesley, Reading, Mass, 1984."},{"key":"2_CR28","volume-title":"Research on Interactive Aquisition and Use of Knowledge","author":"S.M. Shieber","year":"1986","unstructured":"Shieber, S.M. & Uszkoreit, H. & Pereira, F. & Robinson, J. & Tyson, M.: The Formalism and Implementation of PATR-II. In: B. Grosz and M. Stickel (eds.) Research on Interactive Aquisition and Use of Knowledge, SRI International, Menlo Park, Ca., 1986."},{"key":"2_CR29","volume-title":"The Mathematics of Inheritance Systems","author":"D. Touretzky","year":"1986","unstructured":"Touretzky, D.: The Mathematics of Inheritance Systems, Morgan Kaufmann Publ., Inc., Los Altos, 1986."},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Uszkoreit, H.: From Feature Bundles to Abstract Data Types: New Directions in the Representation and Processing of Linguistic Knowledge, in: Blaser (ed): Natural Language at the Computer \u2014 Contributions to Syntax and Semantics for Text Processing and Man-Machine-Communication, IBM Germany, Science Center Heidelberg, TR 88.02.002, 1988.","DOI":"10.1007\/3-540-50011-1_32"},{"key":"2_CR31","unstructured":"Vilain, M.: The Restricted Language Architecture of a Hybrid Representation System, in: Proc. IJCAI 1985, Los Angeles."},{"key":"2_CR32","unstructured":"Wachsmuth, I.: On Structuring Domain Specific Knowledge, LILOG-Report 12, IBM Germany, Stuttgart, 1987."},{"issue":"1","key":"2_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/42267.45071","volume":"35","author":"C. Walther","year":"1988","unstructured":"Walther, C.: Many-Sorted Unification, in: Journal of the ACM, Vol. 35, No. 1, January, pp. 1\u201317, 1988.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","CSL '88"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0026293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:55:19Z","timestamp":1586570119000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051659X"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/bfb0026293","relation":{},"subject":[]}}