{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:42:02Z","timestamp":1755218522788,"version":"3.43.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Grammars"],"published-print":{"date-parts":[[1998,5]]},"DOI":"10.1023\/a:1009909418521","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T19:25:11Z","timestamp":1040585111000},"page":"103-153","source":"Crossref","is-referenced-by-count":1,"title":["The Automatic Deduction of Classificatory Systems from Linguistic Theories"],"prefix":"10.1007","volume":"1","author":[{"given":"Paul John","family":"King","sequence":"first","affiliation":[]},{"given":"Kiril Ivanov","family":"Simov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"182271_CR1","volume-title":"Master's Thesis, Seminar f\u00fcr Sprachwissenschaft","author":"B. Aldag","year":"1997","unstructured":"Aldag, B., A proof theoretic investigation of prediction in HPSG. Master's Thesis, Seminar f\u00fcr Sprachwissenschaft, Eberhard-Karls-Universit\u00e4t, T\u00fcbingen, Germany, 1997."},{"key":"182271_CR2","series-title":"Technical report","volume-title":"Sonderforschungsbereich","author":"T. G\u00f6tz","year":"1994","unstructured":"G\u00f6tz, T., A normal form for typed feature structures. Sonderforschungsbereich 340 Technical report 40, IBM Deutschland GmbH, Heidelberg, Germany, 1994."},{"key":"182271_CR3","volume-title":"Lecture Notes in Artificial Intelligence","author":"P. T. N. 1. I. Graf","year":"1995","unstructured":"Graf, P., TermIndexing, No. 1053. In Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, Germany, 1995."},{"key":"182271_CR4","series-title":"Technical Report","volume-title":"Sonderforschungsbereich","author":"S. Kepser","year":"1994","unstructured":"Kepser, S., A satisfiability algorithm for a typed feature logic. Sonderforschungsbereich 340 Technical Report 60, IBM Deutschland GmbH, Heidelberg, Germany, 1994."},{"key":"182271_CR5","volume-title":"A logical formalism for head-driven phrase structure grammar","author":"P. J. King","year":"1989","unstructured":"King, P. J., A logical formalism for head-driven phrase structure grammar. Ph. D. thesis, Manchester University, Manchester, England, 1989."},{"key":"182271_CR6","series-title":"Technical Report","volume-title":"Sonderforschungsbereich","author":"P. J. King","year":"1994","unstructured":"King, P. J., An expanded logical formalism for head-driven phrase structure grammar. Sonderforschungsbereich 340 Technical Report 59, IBM Deutschland GmbH, Heidelberg, Germany, 1994."},{"key":"182271_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/BFb0052161","volume-title":"The Proceedings of Logical Aspects of Computational Linguistics 1996","author":"P. J. King","year":"1997","unstructured":"King, P. J. and K. Iv. Simov, The automatic deduction of classificatory systems from linguistic theories (abridged), In C. Retore, editor, The Proceedings of Logical Aspects of Computational Linguistics 1996, No.\n1328 in\nLecture Notes in Artificial Intelligence, 248\u2013273, Springer-Verlag, Berlin, Germany, 1997."},{"key":"182271_CR8","doi-asserted-by":"crossref","unstructured":"King, P. J., K. Iv. Simov, and B. Aldag, The complexity of modellability in finite and computable signatures of a constraint logic for head-driven phrase structure grammar. The Journal of Logic, Language and Information, 1998.","DOI":"10.1023\/A:1008247127922"},{"key":"182271_CR9","unstructured":"Meurers, D. and G. Minnen, A computational treatment of lexical rules in HPSG as covariation in lexical entries. Computational Linguistics\n23(4), 1997."},{"key":"182271_CR10","volume-title":"Lexical and Constructional Aspects of Linguistic Explanation","author":"C. J. Pollard","year":"1998","unstructured":"Pollard, C. J., Strong generative capacity in HPSG. In G. Webelhuth, J.-P. Koenig, and A. Kathol, editors, Lexical and Constructional Aspects of Linguistic Explanation, CSLI, Stanford, California, USA, 1998."},{"key":"182271_CR11","series-title":"CSLI Lecture Notes","volume-title":"Information-Based Syntax and Semantics","author":"C. J. Pollard","year":"1987","unstructured":"Pollard, C. J. and I. A. Sag, Information-Based Syntax and Semantics, No. 13 in CSLI Lecture Notes. CSLI, Stanford, California, USA, 1987."},{"key":"182271_CR12","volume-title":"Head-driven Phrase Structure Grammar","author":"C. J. Pollard","year":"1994","unstructured":"Pollard, C. J. and I. A. Sag, Head-driven Phrase Structure Grammar. University of Chicago Press. Chicago, Illinois, USA, 1994."},{"key":"182271_CR13","unstructured":"Richter, F., A relational extension of speciate reentrant logic. Ph. D. thesis, Seminar f\u00fcr Sprachwissenschaft, Eberhard-Karls-Universit\u00e4t, T\u00fcbingen, Germany, in preparation."},{"key":"182271_CR14","volume-title":"Master's Thesis, Seminar f\u00fcr Sprachwissenschaft","author":"F. Richter","year":"1995","unstructured":"Richter, F. and M. Sailer, Remarks on linearisation: Reflection on the treatment of LP-rules in HPSG in a typed feature logic. Master's Thesis, Seminar f\u00fcr Sprachwissenschaft, Eberhard-Karls-Universit\u00e4t, T\u00fcbingen, Germany, 1995."},{"key":"182271_CR15","first-page":"453","volume":"3","author":"K. Simov","year":"1990","unstructured":"Simov, K., G. Angelova, and E. Paskaleva, \u2018MORPHO-ASSISTANT: The proper treatment of morphological knowledge\u2019. In The Proceedings of COLING'90, Vol. 3. 453\u2013457. Helsinki, Finland, 1990.","journal-title":"The Proceedings of COLING'90"},{"key":"182271_CR16","first-page":"81","volume-title":"Logical Aspects of Computational Linguistics (Conference Handout)","author":"K. I. Simov","year":"1996","unstructured":"Simov, K. Iv. and P. J. King, Indexing of linguistic knowledge'. In Logical Aspects of Computational Linguistics (Conference Handout) 81\u201384. Villers-l\u00e8s-Nancy, France, 1996."},{"key":"182271_CR17","unstructured":"Simov, K., E. Paskaleva, M. Damova, and M. Slavcheva, MORPHO-ASSISTANT: A knowledge-based system for Bulgarian morphology. In The Proceedings of the Third Conference on Applied Natural Language Processing (Systems Demonstrations), 17\u201318. Trento, Italy, 1992."}],"container-title":["Grammars"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009909418521.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009909418521\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009909418521.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T05:48:07Z","timestamp":1754459287000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009909418521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,5]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,5]]}},"alternative-id":["182271"],"URL":"https:\/\/doi.org\/10.1023\/a:1009909418521","relation":{},"ISSN":["1386-7393","1572-848X"],"issn-type":[{"type":"print","value":"1386-7393"},{"type":"electronic","value":"1572-848X"}],"subject":[],"published":{"date-parts":[[1998,5]]}}}