{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:58:27Z","timestamp":1725901107989},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642144172"},{"type":"electronic","value":"9783642144189"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14418-9_6","type":"book-chapter","created":{"date-parts":[[2010,7,6]],"date-time":"2010-07-06T11:38:36Z","timestamp":1278416316000},"page":"82-101","source":"Crossref","is-referenced-by-count":19,"title":["Implementing Controlled Languages in GF"],"prefix":"10.1007","author":[{"given":"Krasimir","family":"Angelov","sequence":"first","affiliation":[]},{"given":"Aarne","family":"Ranta","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-540-68234-9_27","volume-title":"The Semantic Web: Research and Applications","author":"G. Hart","year":"2008","unstructured":"Hart, G., Johnson, M., Dolbear, C.: Rabbit: Developing a control natural language for authoring ontologies. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol.\u00a05021, pp. 348\u2013360. Springer, Heidelberg (2008)"},{"key":"6_CR2","unstructured":"The Boeing Company: Boeing Simplified English Checker (2001), http:\/\/www.boeing.com\/assocproducts\/sechecker"},{"key":"6_CR3","unstructured":"Fuchs, N.: Attempto project homepage (2008), http:\/\/attempto.ifi.uzh.ch\/site\/"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1017\/S0956796803004738","volume":"14","author":"A. Ranta","year":"2004","unstructured":"Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming\u00a014(2), 145\u2013189 (2004)","journal-title":"Journal of Functional Programming"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Dymetman, M., Lux, V., Ranta, A.: XML and multilingual document authoring: Convergent trends. In: COLING, Saarbr\u00fccken, Germany, pp. 243\u2013249 (2000)","DOI":"10.3115\/990820.990856"},{"key":"6_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-44404-1_6","volume-title":"Logic for Programming and Automated Reasoning","author":"T. Hallgren","year":"2000","unstructured":"Hallgren, T., Ranta, A.: An extensible proof text editor. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol.\u00a01955, pp. 70\u201384. Springer, Heidelberg (2000)"},{"key":"6_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/11422532_4","volume-title":"Logical Aspects of Computational Linguistics","author":"D.A. Burke","year":"2005","unstructured":"Burke, D.A., Johannisson, K.: Translating Formal Software Specifications to Natural Language \/ A Grammar-Based Approach. In: Blache, P., Stabler, E., Busquets, J., Moot, R. (eds.) LACL 2005. LNCS (LNAI), vol.\u00a03492, pp. 51\u201366. Springer, Heidelberg (2005)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Perera, N., Ranta, A.: Dialogue System Localization with the GF Resource Grammar Library. In: SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing, Prague, June 29 (2007)","DOI":"10.3115\/1626333.1626337"},{"key":"6_CR9","unstructured":"Bringert, B., Cooper, R., Ljungl\u00f6f, P., Ranta, A.: Multimodal dialogue system grammars. In: Proceedings of DIALOR 2005, Ninth Workshop on the Semantics and Pragmatics of Dialogue, June 2005, pp. 53\u201360 (2005)"},{"key":"6_CR10","unstructured":"Caprotti, O.: WebALT! Deliver Mathematics Everywhere. In: Proceedings of SITE 2006, Orlando, March 20-24 (2006)"},{"key":"6_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-85287-2_32","volume-title":"Advances in Natural Language Processing","author":"M.S. Meza Moreno","year":"2008","unstructured":"Meza Moreno, M.S., Bringert, B.: Interactive multilingual web applications with grammatical framework. In: Nordstr\u00f6m, B., Ranta, A. (eds.) GoTAL 2008. LNCS (LNAI), vol.\u00a05221, pp. 336\u2013347. Springer, Heidelberg (2008)"},{"key":"6_CR12","unstructured":"Dann\u00e9lls, D.: Generating Tailored Texts for Museum Exhibits. In: Proceedings of the 6th edition of LREC. The 2nd Workshop on Language Technology for Cultural Heritage (LaTeCH 2008), Marrakech, Morocco, pp. 17\u201320 (2008), http:\/\/spraakdata.gu.se\/svedd\/pub\/latech08.pdf"},{"key":"6_CR13","volume-title":"Formal Philosophy","author":"R. Montague","year":"1974","unstructured":"Montague, R.: Formal Philosophy. Yale University Press, New Haven (1974); Collected papers edited by Richmond Thomason"},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"Harper, R., Honsell, F., Plotkin, G.: A Framework for Defining Logics. JACM\u00a040(1), 143\u2013184 (1993)","journal-title":"JACM"},{"key":"6_CR15","volume-title":"Programming in Martin-L\u00f6f\u2019s Type Theory. An Introduction","author":"B. Nordstr\u00f6m","year":"1990","unstructured":"Nordstr\u00f6m, B., Petersson, K., Smith, J.: Programming in Martin-L\u00f6f\u2019s Type Theory. An Introduction. Clarendon Press, Oxford (1990)"},{"key":"6_CR16","unstructured":"Dean, M., Schreiber, G.: OWL Web Ontology Language Reference (2004), http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"6_CR17","volume-title":"An Introduction to Unification-Based Approaches to Grammars","author":"S. Shieber","year":"1986","unstructured":"Shieber, S.: An Introduction to Unification-Based Approaches to Grammars. University of Chicago Press, Chicago (1986)"},{"key":"6_CR18","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1017\/CBO9780511770524.014","volume-title":"From Semantics to Computer Science","author":"A. Ranta","year":"2009","unstructured":"Ranta, A.: Grammars as Software Libraries. In: Bertot, Y., Huet, G., L\u00e9vy, J.-J., Plotkin, G. (eds.) From Semantics to Computer Science, pp. 281\u2013308. Cambridge University Press, Cambridge (2009)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Ranta, A.: The GF Resource Grammar Library. Linguistic Issues in Language Technology\u00a02 (2009)","DOI":"10.33011\/lilt.v2i.1205"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0304-3975(91)90374-B","volume":"88","author":"H. Seki","year":"1991","unstructured":"Seki, H., Matsumura, T., Fujii, M., Kasami, T.: On multiple context-free grammars. Theoretical Computer Science\u00a088, 191\u2013229 (1991)","journal-title":"Theoretical Computer Science"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Angelov, K., Bringert, B., Ranta, A.: PGF: A Portable Run-Time Format for Type-Theoretical Grammars. Journal of Logic, Language and Information (2009) (to appear)","DOI":"10.1007\/s10849-009-9112-y"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Chiang, D.: A hierarchical phrase-based model for statistical machine translation. In: ACL 2005: Proceedings of the 43rd Annual Meeting on Association for Computational Linguistics, Morristown, NJ, USA. Association for Computational Linguistics, pp. 263\u2013270 (2005)","DOI":"10.3115\/1219840.1219873"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Zollmann, A., Venugopal, A., Och, F.J., Ponte, J.: A systematic comparison of phrase-based, hierarchical and syntax-augmented statistical MT. In: Proceedings of the 22nd International Conference on Computational Linguistics (Coling 2008), August 2008, pp. 1145\u20131152 (2008)","DOI":"10.3115\/1599081.1599225"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Angelov, K.: Incremental parsing with parallel multiple context-free grammars. In: European Chapter of the Association for Computational Linguistics (2009)","DOI":"10.3115\/1609067.1609074"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/3-540-36456-0_48","volume-title":"Computational Linguistics and Intelligent Text Processing","author":"J. Khegai","year":"2003","unstructured":"Khegai, J., Nordstr\u00f6m, B., Ranta, A.: Multilingual Syntax Editing in GF. In: Gelbukh, A. (ed.) CICLing 2003. LNCS, vol.\u00a02588, pp. 453\u2013464. Springer, Heidelberg (2003)"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"923","DOI":"10.1002\/spe.4380210904","volume":"21","author":"J. Welsh","year":"1991","unstructured":"Welsh, J., Broom, B., Kiong, D.: A design rationale for a language-based editor. Software\u2013Practice and Experience\u00a021, 923\u2013948 (1991)","journal-title":"Software\u2013Practice and Experience"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Bringert, B., Angelov, K., Ranta, A.: Grammatical Framework Web Service. In: System demo, Proceedings of EACL 2009, Athens (2009)","DOI":"10.3115\/1609049.1609052"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Power, R., Scott, D.: Multilingual authoring using feedback texts. In: COLING-ACL (1998)","DOI":"10.3115\/980432.980742"},{"key":"6_CR29","volume-title":"The Core Language Engine","author":"H. Alshawi","year":"1992","unstructured":"Alshawi, H.: The Core Language Engine. MIT Press, Cambridge (1992)"}],"container-title":["Lecture Notes in Computer Science","Controlled Natural Language"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14418-9_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T21:08:18Z","timestamp":1635628098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14418-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144172","9783642144189"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14418-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}