{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T08:55:16Z","timestamp":1754556916652},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637004"},{"type":"electronic","value":"9783540696315"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0052161","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T04:43:12Z","timestamp":1149655392000},"page":"248-273","source":"Crossref","is-referenced-by-count":3,"title":["The automatic deduction of classificatory systems from linguistic theories (abridged)"],"prefix":"10.1007","author":[{"given":"Paul John","family":"King","sequence":"first","affiliation":[]},{"given":"Kiril Ivanov","family":"Simov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"key":"14_CR1","volume-title":"Cambridge Tracts in The oretical Computer Science, number 32","author":"B. Carpenter","year":"1992","unstructured":"Bob Carpenter. The Logic of Typed Feature Structures. Cambridge Tracts in The oretical Computer Science, number 32. Cambridge University Press, Cambridge, England. 1992."},{"key":"14_CR2","volume-title":"Term paper","author":"T. G\u00f6tz","year":"1993","unstructured":"Thilo G\u00f6tz. \u201cA normal form algorithm for King's descriptive formalism.\u201d Term paper. Seminar f\u00fcr Sprachwissenschaft, Eberhard-Karls-Universit\u00e4t, T\u00fcbingen, Germany. 1993."},{"key":"14_CR3","volume-title":"Lecture Notes in Artificial Intelligence 1053","author":"P. Graf","year":"1995","unstructured":"Peter Graf. Term Indexing. Lecture Notes in Artificial Intelligence 1053. Springer-Verlag, Berlin, Germany. 1995."},{"key":"14_CR4","unstructured":"Stephan Kepser. \u201cA satisfiability algorithm for a typed feature logic.\u201d SFB 340 technical report 60. IBM Deutschland GmbH, Heidelberg, Germany. 1994."},{"key":"14_CR5","volume-title":"Doctoral thesis","author":"P. J. King","year":"1989","unstructured":"Paul J. King. A Logical Formalism for Head-Driven Phrase Structure Grammar. Doctoral thesis. The University of Manchester, Manchester, England. 1989."},{"key":"14_CR6","unstructured":"Paul J. King. \u201cAn expanded logical formalism for head-driven phrase structure grammar.\u201d SFB 340 technical report 59. IBM Deutschland GmbH, Heidelberg, Germany. 1994."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Paul J. King and Kiril Iv. Simov. \u201cThe automatic deduction of classificatory sys-tems from linguistic theories.\u201d Unpublished manuscript. 1997.","DOI":"10.1007\/BFb0052161"},{"key":"14_CR8","unstructured":"Carl J. Pollard and Ivan A. Sag. Information-Based Syntax and Semantics, vol. 1. CSLI Lecture Notes 13. CSLI, Stanford, California, USA. 1987."},{"key":"14_CR9","volume-title":"Head-Driven Phrase Structure Grammar","author":"C. J. Pollard","year":"1994","unstructured":"Carl J. Pollard and Ivan A. Sag. Head-Driven Phrase Structure Grammar. University of Chicago Press, Chicago, Illinois, USA. 1994."},{"key":"14_CR10","unstructured":"Kiril Simov and Paul J. King. \u201cIndexing of linguistic knowledge.\u201d In Proc. Logical Aspects of Computational Linguistics (lecture abstracts), pages 81\u201384. Nancy, France. 1996."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Kiril Simov, Galia Angelova and Elena Paskaleva. \u201cMORPHO-ASSISTANT: The proper treatment of morphological knowledge.\u201d In Proc. COLING'90, vol. 3, pages 453\u2013457. Helsinki, Finland. 1990.","DOI":"10.3115\/991146.991249"},{"key":"14_CR12","unstructured":"Kiril Simov, Elena Paskaleva, Mariana Damova and Milena Slavcheva. \u201cMORPHO-ASSISTANT: A knowledge-based system for Bulgarian morphology.\u201d In Proc. Third Conference on Applied Natural Language Processing (systems demonstrations), pages 17\u201318. Trento, Italy. 1992."}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T06:25:53Z","timestamp":1555655153000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052161"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637004","9783540696315"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0052161","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}