{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:14Z","timestamp":1725663494651},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540530824"},{"type":"electronic","value":"9783540466536"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53082-7_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:57:18Z","timestamp":1330207038000},"page":"168-190","source":"Crossref","is-referenced-by-count":1,"title":["Aspects of consistency of sophisticated knowledge representation languages"],"prefix":"10.1007","author":[{"given":"Udo","family":"Pletat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"9_CR1","volume-title":"Lecture Notes in Computer Science, Vol. 385","author":"C. Beierle","year":"1989","unstructured":"C. Beierle, J. D\u00f6rre, U. Pletat, C. Rollinger, P.H. Schmitt, R. Studer: The Knowledge Representation Language L LILOG. Proc. 2nd Workshop on Computer Science Logic 1988, E. B\u00f6rger, H. Kleine B\u00fcning, M. M. Richter (eds), Lecture Notes in Computer Science, Vol. 385, Springer Verlag, Berlin 1989"},{"key":"9_CR2","volume-title":"Informatik Fachberichte, Vol. 195","author":"C. Beierle","year":"1988","unstructured":"C. Beierle, U. Pletat, H. Uszkoreit: An Algebraic Characterization of STUF Proc. Symposium Computerlinguistik und ihre theoretischen Grundlagen, I.S. Batori, U. Hahn, M. Pinkal, W. Wahlster (eds), Informatik Fachberichte, Vol. 195, Springer Verlag, Berlin 1988"},{"key":"9_CR3","unstructured":"C. Beierle, U. Hedtst\u00fcck, U. Pletat, J. Siekmann: An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information. To appear, 1989"},{"issue":"2","key":"9_CR4","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1147\/rd.322.0170","volume":"32","author":"G. Bouma","year":"1988","unstructured":"G. Bouma, E. K\u00f6nig, H. Uszkoreit: A flexible graph-unification formalism and its application to natural-language processing. IBM J. Res. Develop. 32 2, 1988, 170\u2013184","journal-title":"IBM J. Res. Develop."},{"key":"9_CR5","volume-title":"Associative Networks: Representation and Use of Knowledge By Computers","author":"R.J. Brachman","year":"1979","unstructured":"R.J. Brachman: On The Epistomological Status of Semantic Networks In: Associative Networks: Representation and Use of Knowledge By Computers, N. V. Findler (ed.), Academic Press, New York 1979"},{"key":"9_CR6","unstructured":"R.J. Brachman, R.E. Fikes, H.J. Levesque: KRYPTON: Integrating Terminology and Assertion. Proc. of AAAI-83 1983 31\u201335"},{"issue":"2","key":"9_CR7","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0364-0213(85)80014-8","volume":"9","author":"R.J. Brachman","year":"1985","unstructured":"R.J. Brachman, J.G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9 (2) April 1985, 171\u2013216","journal-title":"Cognitive Science"},{"key":"9_CR8","unstructured":"R.J. Brachman, V. Pigman, Gilbert, H.J. Levesque: An Essential Hybrid Reasoning System. Proc. IJCAI-85, 1985, 532\u2013539"},{"key":"9_CR9","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":"9_CR10","volume-title":"Foundations of Algebraic Specifications I","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig, B. Mahr: Foundations of Algebraic Specifications I. Springer Verlag, Berlin 1985"},{"key":"9_CR11","volume-title":"Logical Foundations of Artificial Intelligence","author":"M. R. Genesereth","year":"1987","unstructured":"M. R. Genesereth, N. J. Nilsson: Logical Foundations of Artificial Intelligence Morgan Kaufmann Publishing, Los Altos 1987"},{"key":"9_CR12","unstructured":"J. A. Goguen, R. M Burstall: Institutions: Abstract Model Theory for Computer Science. SRI International Report 1985"},{"key":"9_CR13","unstructured":"J. A. Goguen, J. Meseguer: Order-Sorted Algebra I. SRI International Report 1987"},{"key":"9_CR14","unstructured":"O. Herzog et al.: LILOG \u2014 Linguistische und logische Methoden f\u00fcr das maschinelle Verstehen des Deutschen. IBM Deutschland GmbH, LILOG-Report 1a, 1986"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"R. T. Kasper, W. C. Rounds: A Logicical Semantics for Feature Structures. Proc. 24th ACL Meeting, 257\u2013265, Columbia University 1986","DOI":"10.3115\/981131.981166"},{"key":"9_CR16","unstructured":"K. v. Luck, B. Nebel, C. Peltason, A. Schmiedel The Anatomy of The BACK-System. BACK-System. TU Berlin, KIT-Report No. 41, Jan. 1987"},{"key":"9_CR17","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-642-83739-5_6","volume-title":"K\u00fcnstliche Intelligenz","author":"K. Luck v.","year":"1989","unstructured":"K. v. Luck, Bernd Owsnicki-Klewe: Neuere KI-Formalismen zur Repr\u00e4sentation von Wissen. in: Christaller (Hrsg.), K\u00fcnstliche Intelligenz, Springer Verlag, Berlin 1989, 157\u2013187"},{"key":"9_CR18","unstructured":"R. C. Moore: The Role of Logic in Knowledge Representation and Commonsense Reasoning Proc. AAAI-82"},{"key":"9_CR19","unstructured":"B. Nebel Reasoning and Revision in Hybrid Reasoning Systems. Ph. D. Thesis, University of Saarbr\u00fccken, 1989"},{"key":"9_CR20","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Representation and Reasoning with Attributive Descriptions","author":"B. Nebel","year":"1989","unstructured":"B. Nebel, G. Smolka: Representation and Reasoning with Attributive Descriptions. Proc. Workshop \u2018Order-Sorted Knowledge Representation and Inference Systems', Lecture Notes in Artificial Intelligence, Springer Verlag, Berlin 1989"},{"key":"9_CR21","doi-asserted-by":"publisher","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":"9_CR22","unstructured":"P.F. Patel-Schneider: Small can be Beautiful in Knowledge Representation. Proc. IEEE Workshop on Principles of Knowledge-Based Systems, 1984, 11\u201319"},{"key":"9_CR23","unstructured":"U. Pletat: Model Theoretic Aspects of L LILOG IBM Germany, IWBS Technical Report, to appear 1990"},{"key":"9_CR24","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Knowledge Representation in LILOG","author":"U. Pletat","year":"1989","unstructured":"U. Pletat,, K. v. Luck: Knowledge Representation in LILOG. Proc. Workshop \u2018Order-Sorted Knowledge Representation and Inference Systems', Lecture Notes in Artificial Intelligence, Springer Verlag, Berlin 1989"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"J. A. Robinson: A Macine-Oriented Logic Based on The Resolution Principle. Journal of the ACM, Vol 12, 1965","DOI":"10.1145\/321250.321253"},{"key":"9_CR26","unstructured":"M. Schmidt-Schauss: Subsumption in KL-ONE is Undecidable. Universit\u00e4t Kaiserslautern, SEKI-Report SR-88-14, 1988"},{"key":"9_CR27","unstructured":"S. Shieber: An Introduction to Unification-Based Approaches to Grammar. CSLI Lecture Notes 4, Stanford University 1986"},{"key":"9_CR28","unstructured":"G. Smolka: A Feature Logic with Subsorts. Wissenschaftliches Zentrum der IBM Deutschland, LILOG-Report 33, 1988"},{"key":"9_CR29","unstructured":"M. Vilain: The Restricted Language Architecture of a Hybrid Representation System. Proc. IJCAI-85, 1985, 547\u2013551"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"C. Walther: A Many-Sorted Calculus Based on Resolution and Paramodulation. Research Notes in Artificial Intelligence, 1987","DOI":"10.1016\/B978-0-273-08718-2.50007-9"}],"container-title":["Lecture Notes in Computer Science","Natural Language and Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53082-7_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:25Z","timestamp":1605648385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53082-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540530824","9783540466536"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-53082-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}