{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:13:08Z","timestamp":1725484388200},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441854"},{"type":"electronic","value":"9783540457510"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45751-8_1","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T02:42:07Z","timestamp":1179283327000},"page":"3-17","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["LIGHT \u2014 A Constraint Language and Compiler System for Typed-Unification Grammars"],"prefix":"10.1007","author":[{"given":"L.","family":"Ciortuz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"H. Abramson and V. Dahl. Logic Grammars. Symbolic Computation AI Series. Springer-Verlag, 1989.","DOI":"10.1007\/978-1-4612-3640-5"},{"key":"1_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine: A Tutorial Reconstruction","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"H. A\u00eft-Kaci. Warren\u2019s Abstract Machine: A Tutorial Reconstruction. The MIT Press, Cambridge, MA, 1991."},{"key":"1_CR3","unstructured":"H. A\u00eft-Kaci and R. Di Cosmo. Compiling order-sorted feature term unification. Technical report, Digital Paris Research Laboratory, 1993. PRL Technical Note 7, downloadable from http:\/\/www.isg.sfu.ca\/life\/ ."},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0743-1066(93)90043-G","volume":"16","author":"H. At-Kaci","year":"1993","unstructured":"H. At-Kaci and A. Podelski. Towards a meaning of LIFE. Journal of Logic Programming, 16:195\u2013234, 1993.","journal-title":"Journal of Logic Programming"},{"key":"1_CR5","first-page":"99","volume":"30","author":"H. A\u00eft-Kaci","year":"1997","unstructured":"H. A\u00eft-Kaci, A. Podelski, and S.C. Goldstein. Order-sorted feature theory unification. Journal of Logic, Language and Information, 30:99\u2013124, 1997.","journal-title":"Journal of Logic, Language and Information"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1017\/S1351324900002369","volume":"6","author":"U. Callmeier","year":"2000","unstructured":"U. Callmeier. PET-a platform for experimentation with efficient HPSG processing techniques. Journal of Natural Language Engineering, 6(1) (Special Issue on Efficient Processing with HPSG):99\u2013108, 2000.","journal-title":"Journal of Natural Language Engineering"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"B. Carpenter. The Logic of Typed Feature Structures-with applications to unification grammars, logic programs and constraint resolution. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511530098"},{"key":"1_CR8","series-title":"Technical report","volume-title":"User\u2019s Guide","author":"B. Carpenter","year":"1992","unstructured":"B. Carpenter and G. Penn. ALE: The Attribute Logic Engine. User\u2019s Guide. Technical report, Carnegie-Mellon University. Philosophy Department. Laboratory for Computational Linguistics, Pittsburgh, 1992."},{"key":"1_CR9","unstructured":"L. Ciortuz. LIGHT-another abstract machine for FS unification. In D. Flickinger, S. Oepen, J. Tsujii, and H. Uszkoreit, editors, Collaborative Language Engineering. CSLI Publications, The Center for studies of Language, Logic and Information, Stanford University, 2002."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"L. Ciortuz. Towards ILP-based learning of attribute path values in typed-unification grammars. 2002. (Submitted).","DOI":"10.3115\/1118853.1118858"},{"key":"1_CR11","unstructured":"L. Ciortuz. A virtual machine design for head-corner parsing with feature structure sharing. 2002. (Submitted)."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"L. Ciortuz. Learning attribute values in typed-unification grammars: On generalised rule reduction. In Proceedings of the 6th Conference on Natural Language Learning (CoNLL-2002), Taipei, Taiwan, 31 August\u20131 September 2002. Morgan Kaufmann Publishers and ACL.","DOI":"10.3115\/1118853.1118858"},{"key":"1_CR13","unstructured":"L. Ciortuz. Expanding feature-based constraint grammars: Experience on a largescale HPSG grammar for English. In Proceedings of the IJCAI 2001 co-located Workshop on Modelling and solving problems with constraints, Seattle, USA, August 4\u20136, 2001. Downloadable from http:\/\/www.lirmm.fr\/~bessiere\/proc_wsijcai01.html ."},{"key":"1_CR14","unstructured":"L. Ciortuz. On compilation of head-corner bottom-up chart-based parsing with unification grammars. In Proceedings of the IWPT 2001 International Workshop on Parsing Technologies, pages 209\u2013212, Beijing, China, October 17\u201319, 2001."},{"key":"1_CR15","unstructured":"L. Ciortuz. On compilation of the Quick-Check filter for feature structure unification. In Proceedings of the IWPT 2001 International Workshop on Parsing Technologies, pages 90\u2013100, Beijing, China, October 17\u201319, 2001."},{"key":"1_CR16","unstructured":"A. Copestake. The (new) LKB system. CSLI, Stanford University, 1999."},{"key":"1_CR17","volume-title":"A Grammar of English in HPSG: Design and Implementations","author":"A. Copestake","year":"1999","unstructured":"A. Copestake, D. Flickinger, and I. Sag. A Grammar of English in HPSG: Design and Implementations. Stanford: CSLI Publications, 1999."},{"issue":"20","key":"1_CR18","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 19(20):503\u2013582, May\u2013July 1994.","journal-title":"Journal of Logic Programming"},{"key":"1_CR19","unstructured":"R. M. Kaplan and J. Bresnan. Lexical-functional grammar: A formal system for grammatical representation. In J. Bresnan, editor, The Mental Representation of Grammatical Relations, pages 173\u2013381. The MIT Press, 1982."},{"key":"1_CR20","unstructured":"M. Kay. Head driven parsing. In Proceedings of the 1st Workshop on Parsing Technologies, pages 52\u201362, Pittsburg, 1989."},{"key":"1_CR21","unstructured":"B. Kiefer and H-U. Krieger. A context-free approximation of Head-driven Phrase Structure Grammar. In Proceedings of the 6th International Workshop on Parsing Technologies, pages 135\u2013146, Trento, Italy, 2000."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"H.-U. Krieger and U. Sch\u00e4fer. TDL-A Type Description Language for HPSG. Research Report RR-94-37, German Research Center for Artificial Intelligence (DFKI), 1994.","DOI":"10.3115\/991250.991292"},{"issue":"1","key":"1_CR23","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1017\/S1351324900002382","volume":"6","author":"R. Malouf","year":"2000","unstructured":"R. Malouf, J. Carroll, and A. Copestake. Efficient feature structure operations without compilation. Journal of Natural Language Engineering, 6(1) (Special Issue on Efficient Processing with HPSG):29\u201346, 2000.","journal-title":"Journal of Natural Language Engineering"},{"key":"1_CR24","unstructured":"Y. Mitsuishi, K. Torisawa, and J. Tsujii. HPSG-Style Underspecified Japanese Grammar with Wide Coverage. In Proceedings of the 17th International Conference on Computational Linguistics: COLING-98, pages 867\u2013880, 1998."},{"issue":"1","key":"1_CR25","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1017\/S1351324900002400","volume":"6","author":"Y. Miyao","year":"2000","unstructured":"Y. Miyao, T. Makino, K. Torisawa, and J. Tsujii. The LiLFeS abstract machine and its evaluation with the LinGO grammar. Journal of Natural Language Engineering, 6(1) (Special Issue on Efficient Processing with HPSG):47\u201361, 2000.","journal-title":"Journal of Natural Language Engineering"},{"key":"1_CR26","series-title":"Linguistische Arbeiten","doi-asserted-by":"crossref","DOI":"10.1515\/9783110915990","volume-title":"Deutsche Syntax deklarativ. Head-Driven Phrase Structure Grammar f\u00fcr das Deutsche","author":"S. M\u00fcller","year":"1999","unstructured":"Stefan M\u00fcller. Deutsche Syntax deklarativ. Head-Driven Phrase Structure Grammar f\u00fcr das Deutsche. Number 394 in Linguistische Arbeiten. Max Niemeyer Verlag, T\u00fcbingen, 1999."},{"issue":"1","key":"1_CR27","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1017\/S1351324900002394","volume":"6","author":"S. Oepen","year":"2000","unstructured":"S. Oepen and J. Caroll. Performance profiling for parser engineering. Journal of Natural Language Engineering, 6(1) (Special Issue on Efficient Processing with HPSG: Methods, Systems, Evaluation):81\u201397, 2000.","journal-title":"Journal of Natural Language Engineering"},{"key":"1_CR28","unstructured":"S. Oepen and J. Carroll. Ambiguity packing in HPSG-practical results. In Proceedings of the 1st Conference of the North American Chapter of the ACL, pages 162\u2013169, Seattle, WA, 2000."},{"issue":"1","key":"1_CR29","volume":"6","year":"2000","unstructured":"S. Oepen, D. Flickinger, H. Uszkoreit, and J. Tsujii, editors. Special Issue on Efficient Processing with HPSG: Methods, Systems, Evaluation. Cambridge University Press, 2000. Journal of Natural Language Engineering, 6(1).","journal-title":"Journal of Natural Language Engineering"},{"volume-title":"Collaborative Language Engineering","year":"2002","key":"1_CR30","unstructured":"S. Oepen, D. Flickinger, H. Uszkoreit, and J. Tsujii, editors. Collaborative Language Engineering. CSLI Publications, University of Stanford, CA, 2002."},{"key":"1_CR31","volume-title":"Head-driven Phrase Structure Grammar","author":"C. Pollard","year":"1994","unstructured":"C. Pollard and I. Sag. Head-driven Phrase Structure Grammar. Center for the Study of Language and Information, Stanford, 1994."},{"key":"1_CR32","volume-title":"Research on Interactive Acquisition and Use of Knowledge","author":"S. M. Shieber","year":"1983","unstructured":"S. M. Shieber, H. Uszkoreit, F. C. Pereira, J. Robinson, and M. Tyson. The formalism and implementation of PATR-II. In J. Bresnan, editor, Research on Interactive Acquisition and Use of Knowledge. SRI International, Menlo Park, Calif., 1983."},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"S.M. Shieber, Y. Schabes, and F. Pereira. Principles and implementation of deductive parsing. Jornal of Logic Programming, pages 3\u201336, 1995.","DOI":"10.1016\/0743-1066(95)00035-I"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"M. Siegel. HPSG analysis of Japanese. In Verbmobil: Foundations of Speech-to-Speech Translation. Springer Verlag, 2000.","DOI":"10.1007\/978-3-662-04230-4_19"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"N. Sikkel. Parsing Schemata. Springer Verlag, 1997.","DOI":"10.1007\/978-3-642-60541-3"},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0743-1066(92)90039-6","volume":"12","author":"G. Smolka","year":"1992","unstructured":"G. Smolka. Feature-constraint logics for unification grammars. Journal of Logic Programming, 12:51\u201387, 1992.","journal-title":"Journal of Logic Programming"},{"volume-title":"The DFKI Oz documentation series","year":"1996","key":"1_CR37","unstructured":"G. Smolka and R. Treinen, editors. The DFKI Oz documentation series. German Research Center for Artificail Intelligence (DFKI), Stuhlsatzenhausweg 3, Sarrbr\u00fccken, Germany, 1996."},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"H. Tomabechi. Quasi-destructive graph unification with structure-sharing. In Proceedings of COLING-92, pages 440\u2013446, Nantes, France, 1992.","DOI":"10.3115\/992133.992138"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"H. Uszkoreit. Categorial Unification Grammar. In International Conference on Computational Linguistics (COLING\u201992), pages 498\u2013504, Nancy, France, 1986.","DOI":"10.3115\/991365.991422"},{"key":"1_CR40","series-title":"PhD thesis","volume-title":"An Abstract Machine for Unification Grammars","author":"S. Wintner","year":"1997","unstructured":"S. Wintner. An Abstract Machine for Unification Grammars. PhD thesis, Technion-Israel Institute of Technology, 32000 Haifa, Israel, 1997."},{"issue":"1","key":"1_CR41","first-page":"53","volume":"1","author":"S. Wintner","year":"1999","unstructured":"S. Wintner and N. Francez. Efficient implementation of unification-based grammars. Journal of Language and Computation, 1(1):53\u201392, 1999.","journal-title":"Journal of Language and Computation"},{"key":"1_CR42","unstructured":"D. A. Wroblewski. Non-destructive graph unification. In Dalle Miller, editor, Proceedings of the 6th national conference on artificial intelligence (AAI\u201987), pages 582\u2013587, Seattle, 1987."}],"container-title":["Lecture Notes in Computer Science","KI 2002: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45751-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,13]],"date-time":"2021-08-13T15:58:53Z","timestamp":1628870333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45751-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441854","9783540457510"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/3-540-45751-8_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"2 September 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}