{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:18Z","timestamp":1725663498024},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:57:12Z","timestamp":1330207032000},"page":"26-49","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge processing in the LILOG project from the first to the second prototype"],"prefix":"10.1007","author":[{"given":"Toni","family":"Bollinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karl-Hans","family":"Bl\u00e4sius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uli","family":"Hedtst\u00fcck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"2_CR1","series-title":"LILOG-Report","volume-title":"The Knowledge Representation Language LLILOG","author":"C. Beierle","year":"1988","unstructured":"Beierle, C., D\u00f6rre, J., Pletat, U., Schmitt, P. H., Studer, R. (1988): \u201cThe Knowledge Representation Language LLILOG\u201d, LILOG-Report 41, IBM Germany, Stuttgart"},{"key":"2_CR2","series-title":"IWBS Report","volume-title":"An Order Sorted Predicate Logic With Closely Coupeled Taxonomic Information","author":"C. Beierle","year":"1989","unstructured":"Beierle, C., Hedtst\u00fcck, U., Pletat, U., Siekmann, J. (1989): \u201cAn Order Sorted Predicate Logic With Closely Coupeled Taxonomic Information\u201d, IWBS Report, IBM Germany, Stuttgart"},{"key":"2_CR3","series-title":"LILOG-Report","volume-title":"Reasoning in Text Understanding, Knowledge Processing in the LILOG-Prototype","author":"T. Bollinger","year":"1988","unstructured":"Bollinger, T., Hedtst\u00fcck, U., Rollinger, C.-R. (1988): \u201cReasoning in Text Understanding, Knowledge Processing in the LILOG-Prototype\u201d. LILOG-Report 49, IBM Germany, Stuttgart"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0364-0213(85)80014-8","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"Brachman, R. J., Schmolze, J. G., (1985): \u201cAn Overview of the KL-ONE Knowledge Representation System\u201d, Cognitive Science 9 (2), 171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF00243207","volume":"3","author":"A. G. Cohn","year":"1987","unstructured":"Cohn, A. G. (1987): \u201cA More Expressive Formulation of Many Sorted Logic\u201d, Journal of Automated Reasoning 3, 113\u2013200.","journal-title":"Journal of Automated Reasoning"},{"key":"2_CR6","unstructured":"Digricoli, V.J. (1979): \u201cResolution by Unification and Equality\u201d. Proc. 4th Workshop on Automated Deduction, Texas"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Kamp, H. (1981): \u201cA Theory of Truth and Semantic Representation\u201d, in: J. A. Groenendijk et al. (eds.): \u201cFormal Methods in the Study of Natural Language\u201d, Vol. 1, Amsterdam","DOI":"10.1515\/9783110867602.1"},{"key":"2_CR8","series-title":"LILOG-Report","volume-title":"Vor\u00fcberlegungen zur depiktionalen Repr\u00e4sentation r\u00e4umlichen Wissens","author":"M.N. Khenkhar","year":"1988","unstructured":"Khenkhar, M.N. (1988): \u201cVor\u00fcberlegungen zur depiktionalen Repr\u00e4sentation r\u00e4umlichen Wissens\u201d, LILOG-Report 19, IBM Germany, Stuttgart"},{"key":"2_CR9","unstructured":"M\u00fcller, B. (1989): \u201cEin Resolutionsskalk\u00fcl f\u00fcr ordnungssortierte Pr\u00e4dikatenlogik mit Sortenliteralen\u201d, Diplomarbeit, Institut f\u00fcr Informatik, Universit\u00e4t Stuttgart"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Sorts and Typs in Artifical Intelligence","author":"U. Pletat","year":"1989","unstructured":"Pletat, U., v. Luck, K. (1989): \u201cKnowledge Representation in LILOG\u201d, to appear in: Bl\u00e4sius, K.-H., Hedtst\u00fcck, U., Rollinger, C.-R. (eds.): \u201cSorts and Typs in Artifical Intelligence\u201d, Lecture Notes in Computer Science, Springer Verlag, Heidelberg"},{"key":"2_CR11","first-page":"135","volume":"4","author":"G. Robinson","year":"1969","unstructured":"Robinson, G., Wos L. (1969): \u201cParamodulation and TP in First Order Theories with Equality\u201d, Machine Intelligence 4, 135\u2013150","journal-title":"Machine Intelligence"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Schmidt-Schauss, M. (1988): \u201cComputational Aspects of an Order-Sorted Logic with Term Declaration\u201d, Dissertation, Universit\u00e4t Kaiserslautern","DOI":"10.1007\/BFb0024065"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Siekmann, J. (1989): \u201cUnification Theory\u201d, Journal of Symbolic Computation, Vol. 7, Special Issue on Unification Theory","DOI":"10.1016\/S0747-7171(89)80012-4"},{"issue":"4","key":"2_CR14","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/BF00244275","volume":"1","author":"M. E. Stickel","year":"1985","unstructured":"Stickel, M. E. (1985): \u201cAutomated Deduction by Theory Resolution\u201d, Journal of Automated Reasoning 1(4), 1985, 333\u2013355.","journal-title":"Journal of Automated Reasoning"},{"key":"2_CR15","series-title":"LILOG-Report","volume-title":"On Structering Domain Specific Knowledge","author":"I. Wachsmuth","year":"1987","unstructured":"Wachsmuth, I. (1987): \u201cOn Structering Domain Specific Knowledge\u201d, LILOG-Report 12, IBM Germany, Stuttgart"},{"key":"2_CR16","volume-title":"Research Notes in Artificial Intelligence","author":"C. Walther","year":"1987","unstructured":"Walther, C. (1987): \u201cA Many-Sorted Calculus Based on Resolution and Paramodulation\u201d, in Research Notes in Artificial Intelligence, Pitman, London, and Morgan Kaufmann, Los Altos, California"}],"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_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:21:56Z","timestamp":1640920916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53082-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540530824","9783540466536"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-53082-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}