{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:37Z","timestamp":1725663157221},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540502418"},{"type":"electronic","value":"9783540459606"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50241-6_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:18:45Z","timestamp":1330201125000},"page":"17-26","source":"Crossref","is-referenced-by-count":0,"title":["Resolution with feature unification"],"prefix":"10.1007","author":[{"given":"K. H.","family":"Bl\u00e4sius","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"U.","family":"Hedtst\u00fcck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"2_CR1","volume-title":"A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Type Structures","author":"H. A\u00eft-Ka\u00e7i","year":"1984","unstructured":"A\u00eft-Ka\u00e7i, H., A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Type Structures, Ph.D. Thesis, Computer and Information Science, Univ. of Pennsylvania, Philadelphia, 1984."},{"key":"2_CR2","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":"A\u00eft-Ka\u00e7i, H., Nasr, R., LOGIN: A Logic Programming Language with Built-In Inheritance, J. Logic Programming 3, 1986, 185\u2013215.","journal-title":"J. Logic Programming"},{"unstructured":"Beierle, C., D\u00f6rre, J., Pletat, U., Schmitt, P. H., Studer, R., The Knowledge Representation Language LLILOG, LILOG-Report 41, IBM Germany, Stuttgart, 1988.","key":"2_CR3"},{"unstructured":"Beierle, C., Pletat, U., Feature Graphs and Abstract Data Types: A Unifiying Approach, LILOG Report 39, IBM Germany, Stuttgart, 1988. To appear in: Proc. COLING '88, Budapest, 1988.","key":"2_CR4"},{"unstructured":"Herzog, O., et al., LILOG-Linguistic and Logic Methods for the Computational Understanding of German, LILOG-Report 1b, IBM Germany,Stuttgart, 1986.","key":"2_CR5"},{"unstructured":"Johnson, M.E., Attribute-Value Logic and the Theory of Grammar, PhD Dissertation, Stanford University, 1987. To appear as CSLI Lecture Notes.","key":"2_CR6"},{"unstructured":"Karl Mark G. Raph: The Markgraf Karl Refutation Procedure, Internal Report, Memo-Seki-MK-84-01, Fachbereich Informatik, Universit\u00e4t Kaiserslautern, 1984.","key":"2_CR7"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3115\/981131.981166","volume-title":"Proc. of the 24th Annual Meeting of the Association of Computational Linguistics","author":"R.T. Kasper","year":"1986","unstructured":"Kasper, R.T., Rounds, W.C., A logical Semantics for Feature Structures, Proc. of the 24th Annual Meeting of the Association of Computational Linguistics, Columbia University, New York, 1986, 257\u2013265."},{"key":"2_CR9","volume-title":"Proc. 2. Internationaler GI-Kongre\u00df in M\u00fcnchen, Informatik-Fachberichte 155","author":"C. R. Rollinger","year":"1987","unstructured":"Rollinger, C. R., Studer, R., Uszkoreit, H., Wachsmuth, I., Textunderstanding in LILOG \u2014 Sorts and Reference Objects, Proc. 2. Internationaler GI-Kongre\u00df in M\u00fcnchen, Informatik-Fachberichte 155, Springer-Verlag, Heidelberg et al.,1987."},{"doi-asserted-by":"crossref","unstructured":"Schmidt-Schauss, M., Computational Aspects of an Order-Sorted Logic with Term Declaration, Dissertation, University of Kaiserslautern, 1988.","key":"2_CR10","DOI":"10.1007\/BFb0024065"},{"key":"2_CR11","series-title":"CSLI Lecture Notes","volume-title":"An Introduction to Unification-Based Approaches to Grammar","author":"S. M. Shieber","year":"1986","unstructured":"Shieber, S. M., An Introduction to Unification-Based Approaches to Grammar, CSLI Lecture Notes 4, Stanford University, California, 1986."},{"unstructured":"Smolka, G., A Feature Logic with Subsorts, LILOG-Report 33, IBM Germany, Stuttgart, 1988.","key":"2_CR12"},{"unstructured":"Uszkoreit, H., STUF: A Description of the Stuttgart Type Unification Formalism, LILOG-Report 16, IBM Germany, Stuttgart, 1987.","key":"2_CR13"},{"key":"2_CR14","volume-title":"A Many-Sorted Calculus Based on Resolution and Paramodulation","author":"C. Walther","year":"1987","unstructured":"Walther, C., A Many-Sorted Calculus Based on Resolution and Paramodulation, in Research Notes in Artificial Intelligence, Pitman, London, and Morgan Kaufmann, Los Altos, Calif., 1987."}],"container-title":["Lecture Notes in Computer Science","CSL '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50241-6_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:40Z","timestamp":1605647860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50241-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540502418","9783540459606"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-50241-6_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}