{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:37Z","timestamp":1725663877829},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540559306"},{"type":"electronic","value":"9783540473121"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55930-2_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:46:01Z","timestamp":1330253161000},"page":"231-241","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge representation for natural language processing"],"prefix":"10.1007","author":[{"given":"Udo","family":"Pletat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-Ka\u00e7i","year":"1986","unstructured":"H. A\u00eft-Ka\u00e7i and R. Nasr. LOGIN: A logic Programming Language with Built-in Inheritance. Journal of Logic Programming, 3:185\u2013215, 1986.","journal-title":"Journal of Logic Programming"},{"key":"16_CR2","first-page":"185","volume":"29","author":"K. R. Apt","year":"1982","unstructured":"K. R. Apt and M. H. van Emden. Contributions to the Logic of Programming. Journal of The ACM, 29:185\u2013215, 1982.","journal-title":"Journal of The ACM"},{"key":"16_CR3","volume-title":"Sorts and Types for Artificial Intelligence, volume 418 of Lecture Notes in Artificial Intelligence","author":"C. Beierle","year":"1990","unstructured":"C. Beierle. Types, Modules and Databases in The Logic Programming Language PROTOS-L. In K. H. Bl\u00e4sius and U. Hedtst\u00fcck and C.-R. Rollinger, editor, Sorts and Types for Artificial Intelligence, volume 418 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, Heidelberg, New York, 1990."},{"key":"16_CR4","volume-title":"IWBS-Report 113","author":"C. Beierle","year":"1990","unstructured":"C. Beierle, U. Hedtst\u00fcck, U. Pletat, J. Siekmann, and P. H. Schmitt. An ordersorted predicate logic for knowledge representation systems. IWBS-Report 113, IBM Deutschland GmbH, Stuttgart, 1990. To appear in AI Journal 1992."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"C. Beierle, U. Pletat, and H. Uszkoreit. An algebraic characterization of STUF. In I. S. Batori, U. Hahn, M. Pinkal, and W. Wahlster, editors, Computerlinguistik und ihre theoretischen Grundlagen. Informatik-Fachberichte 195. Springer-Verlag, 1988.","DOI":"10.1007\/978-3-642-74282-8_2"},{"key":"16_CR6","unstructured":"T. Bollinger. A Model Elimination Calculus for Generalized Clauses. In Proceedings IJCAI 91, 1991."},{"key":"16_CR7","unstructured":"T. Bollinger and U. Pletat. Knowledge in Operation. IWBS Report 165, IBM Deutschland, 1991."},{"key":"16_CR8","unstructured":"T. Bollinger and U. Pletat. An Order-Sorted Predicate Logic with Sophisticated Sort Hierarchies. IWBS Report, IBM Deutschland, 1992. to appear."},{"key":"16_CR9","unstructured":"R. J. Brachman, V. P. Gilbert, and H. J. Levesque. An Essential Hybrid Reasoning, System: Knowledge and Symbol Level Accounts of KRYPTON. In Proceedings IJCAI-85, pages 532\u2013539, 1985."},{"issue":"2","key":"16_CR10","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171\u2013216, April 1985.","journal-title":"Cognitive Science"},{"key":"16_CR11","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer Verlag, Berlin, Heidelberg, New York, 1981."},{"key":"16_CR12","first-page":"113","volume":"3","author":"A. G. Cohn","year":"1987","unstructured":"A. G. Cohn. A More Expressive Formulation of Many Sorted Logic. Journal of Automated Reasoning, 3:113\u2013200, 1987.","journal-title":"Journal of Automated Reasoning"},{"key":"16_CR13","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0004-3702(91)90009-9","volume":"49","author":"A. M. Frisch","year":"1991","unstructured":"A. M. Frisch. The substitutional framework for sorted deduction: fundamental results on hybrid reasoning. Artificial Intelligence, 49:161\u2013198, 1991.","journal-title":"Artificial Intelligence"},{"key":"16_CR14","unstructured":"J.A. Goguen and J. Meseguer. EQLOG: Equality, Types and Generic Modules for Logic Programming. In D. DeGroot and G. Lindstrom, editors, Logic Programming, Functions, Relations and Equations. Prentice Hall, 1986."},{"key":"16_CR15","volume-title":"Formal Methods in The Study of Language, volume 135","author":"H. Kamp","year":"1981","unstructured":"H. Kamp. A theory of truth and semantic representation. In J. A. G. Groenendijk and T. M. V. Janssen and M. B. J. Stokhof, editor, Formal Methods in The Study of Language, volume 135. Mathematical Center Tracts, Amsterdam, 1981."},{"key":"16_CR16","unstructured":"B. Hollunder, W. Nutt, and M. Schmidt-Schauss. Subsumption Algorithms for Concept Description Languages. In Proc. ECAI 90, 1990."},{"key":"16_CR17","volume-title":"Textunderstanding in LILOG, volume 546 of Lecture Notes in Artificial Intelligence","author":"J. D\u00f6rre","year":"1991","unstructured":"J. D\u00f6rre and R. Seiffert. A Formalism for NAtural Language \u2014 STUF. In O. Herzog and C.-R. Rollinger, editor, Textunderstanding in LILOG, volume 546 of Lecture Notes in Artificial Intelligence. Springer Verlag, Berlin, Heidelberg, New York, 1991."},{"key":"16_CR18","first-page":"257","volume-title":"A logical semantics for feature structures","author":"R. T. Kasper","year":"1986","unstructured":"R. T. Kasper and W. C. Rounds. A logical semantics for feature structures. In Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics, pages 257\u2013265, Columbia University, New York, 1986."},{"key":"16_CR19","first-page":"318","volume-title":"GWAI 89","author":"M. N. Khenkhar","year":"1989","unstructured":"M. N. Khenkhar. DEPIC-2D: Eine Komponente zur depiktionalen Repr\u00e4sentation und Verarbeitung r\u00e4umlichen Wissens. In D. Metzing, editor, GWAI 89, pages 318\u2013322, Berlin, Heidelberg, New York, 1989. Springer Verlag."},{"key":"16_CR20","unstructured":"R. A. Kowalski. Predicate Logic as a Programming Language. In IFIP 74, 1974."},{"key":"16_CR21","volume-title":"Alternative Conceptions of Phrase Structure","author":"L. Karttunen","year":"1989","unstructured":"L. Karttunen. Radical lexicalism. In A. Broch and M. Baltin, editor, Alternative Conceptions of Phrase Structure. Chicago University Press, Chicago, 1989."},{"key":"16_CR22","volume-title":"Symbolic Computation","author":"J. W. Lloyd","year":"1984","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Symbolic Computation. Springer-Verlag, Berlin, Heidelberg, New York, 1984."},{"key":"16_CR23","unstructured":"S. Lorenz. Nichtmonotones Schlie\u00dfen mit ordnungssortierten Defaults. IWBS-Report 100, IBM Deutschland, Scientific Center, January 1990."},{"key":"16_CR24","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"A. Mycroft and R. A. O'Keefe. A polymorphic type system for Prolog. Artificial Intelligence, 23:295\u2013307, 1984.","journal-title":"Artificial Intelligence"},{"volume-title":"Textunderstanding in LILOG, volume 546 of Lecture Notes in Artificial Intelligence","year":"1991","key":"16_CR25","unstructured":"O. Herzog and C.-R. Rollinger, editor. Textunderstanding in LILOG, volume 546 of Lecture Notes in Artificial Intelligence. Springer Verlag, Berlin, Heidelberg, New York, 1991."},{"key":"16_CR26","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF01396685","volume":"145","author":"A. Oberschelp","year":"1962","unstructured":"A. Oberschelp. Untersuchungen zur mehrsortigen Quantorenlogik. Mathematische Annalen, 145:297\u2013333, 1962.","journal-title":"Mathematische Annalen"},{"key":"16_CR27","volume-title":"Sorts and Types for Artificial Intelligence, volume 418 of Lecture Notes in Artificial Intelligence","author":"U. Pletat","year":"1990","unstructured":"U. Pletat and K. v. Luck. Knowledge Representation in LILOG. In K. H. Bl\u00e4sius and U. Hedtst\u00fcck and C.-R. Rollinger, editor, Sorts and Types for Artificial Intelligence, volume 418 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, Heidelberg, New York, 1990."},{"key":"16_CR28","volume-title":"Information Based Syntax and Semantics. Vol. I: Fundamentals","author":"C. Pollard","year":"1987","unstructured":"C. Pollard and I. A. Sag. Information Based Syntax and Semantics. Vol. I: Fundamentals. Chicago University Press, Chicago, 1987."},{"key":"16_CR29","unstructured":"K. Schlechta. Defeasible Inheritance: Coherence Properties and Semantics. In. Michael Morreau, editor, SNS-Bericht 89-47. Seminar f\u00fcr nat\u00fcrlich-sprachliche Systeme, Univertsit\u00e4t T\u00fcbingen, 1989."},{"key":"16_CR30","volume-title":"Research on Interactive Acquisition and Use of Knowledge","author":"S. M. Shieber","year":"1983","unstructured":"S. M. Shieber, H. Uszkoreit, F. C. N. Pereira, J. J. Robinson, and M. Tyson. The Formalism and Implementaion of PATR-II. In J. Bresnan, editor, Research on Interactive Acquisition and Use of Knowledge. Artificial Intelligence Center, SRI International, Menlo Park, CA, 1983."},{"key":"16_CR31","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF00244275","volume":"1","author":"M. E. Stickel","year":"1985","unstructured":"M. E. Stickel. Automated Deduction by Theory Resolution. Journal of Automated Reasoning, 1:333\u2013355, 1985.","journal-title":"Journal of Automated Reasoning"},{"key":"16_CR32","volume-title":"TR-19-90","author":"W. A. Woods","year":"1990","unstructured":"W. A. Woods. Understanding subsumption and taxonomy: A framework for progress. TR-19-90, Harvard University, Center for Research in Computing Technology, Cambridge, MA, 1990."},{"key":"16_CR33","unstructured":"C. Welther. A Many-Sorted Calculus Based on Resolution and Paramodulation. In Proceedings IJCAI 83, 1983."},{"key":"16_CR34","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0004-3702(85)90029-3","volume":"26","author":"C. Walther","year":"1985","unstructured":"C. Walther. A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution. Artificial Intelligence, 26:217\u2013224, 1985.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"16_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/42267.45071","volume":"35","author":"C. Walther","year":"1988","unstructured":"C. Walther. Many-sorted unification. Journal of the ACM, 35(1):1\u201317, January 1988.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic Programming in Action"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55930-2_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:47:35Z","timestamp":1619570855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55930-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540559306","9783540473121"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-55930-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}