메뉴 건너뛰기




Volumn 5972 LNAI, Issue , 2010, Pages 82-101

Implementing controlled languages in GF

Author keywords

[No Author keywords available]

Indexed keywords

ATTEMPTO CONTROLLED ENGLISH; AUTOMATIC TRANSLATION; FINNISH; GRAMMAR FORMALISMS; NATURAL LANGUAGES;

EID: 77955030761     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14418-9_6     Document Type: Conference Paper
Times cited : (37)

References (29)
  • 1
    • 45449097649 scopus 로고    scopus 로고
    • Rabbit: Developing a control natural language for authoring ontologies
    • Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. Springer, Heidelberg
    • 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.5021, pp. 348-360. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5021 , pp. 348-360
    • Hart, G.1    Johnson, M.2    Dolbear, C.3
  • 4
    • 1142267381 scopus 로고    scopus 로고
    • Grammatical framework: A type-theoretical grammar formalism
    • Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming 14(2), 145-189 (2004)
    • (2004) Journal of Functional Programming , vol.14 , Issue.2 , pp. 145-189
    • Ranta, A.1
  • 5
    • 1142263785 scopus 로고    scopus 로고
    • XML and multilingual document authoring: Convergent trends
    • Saarbrücken, Germany
    • Dymetman, M., Lux, V., Ranta, A.: XML and multilingual document authoring: Convergent trends. In: COLING, Saarbrücken, Germany, pp. 243-249 (2000)
    • (2000) COLING , pp. 243-249
    • Dymetman, M.1    Lux, V.2    Ranta, A.3
  • 6
    • 84956858907 scopus 로고    scopus 로고
    • An extensible proof text editor
    • Parigot, M., Voronkov, A. (eds.) LPAR 2000. Springer, Heidelberg
    • Hallgren, T., Ranta, A.: An extensible proof text editor. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol.1955, pp. 70-84. Springer, Heidelberg (2000)
    • (2000) LNCS (LNAI) , vol.1955 , pp. 70-84
    • Hallgren, T.1    Ranta, A.2
  • 7
    • 33745128779 scopus 로고    scopus 로고
    • Translating formal software specifications to natural language / A grammar-based approach
    • Blache, P., Stabler, E., Busquets, J., Moot, R. (eds.) LACL 2005. Springer, Heidelberg
    • 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.3492, pp. 51-66. Springer, Heidelberg (2005)
    • (2005) LNCS (LNAI) , vol.3492 , pp. 51-66
    • Burke, D.A.1    Johannisson, K.2
  • 10
    • 77955017488 scopus 로고    scopus 로고
    • WebALT! Deliver mathematics everywhere
    • Orlando, March 20-24
    • Caprotti, O.: WebALT! Deliver Mathematics Everywhere. In: Proceedings of SITE 2006, Orlando, March 20-24 (2006)
    • (2006) Proceedings of SITE 2006
    • Caprotti, O.1
  • 11
    • 52149087723 scopus 로고    scopus 로고
    • Interactive multilingual web applications with grammatical framework
    • Nordström, B., Ranta, A. (eds.) GoTAL 2008. Springer, Heidelberg
    • Meza Moreno, M.S., Bringert, B.: Interactive multilingual web applications with grammatical framework. In: Nordström, B., Ranta, A. (eds.) GoTAL 2008. LNCS (LNAI), vol.5221, pp. 336-347. Springer, Heidelberg (2008)
    • (2008) LNCS (LNAI) , vol.5221 , pp. 336-347
    • Meza Moreno, M.S.1    Bringert, B.2
  • 13
    • 0004246788 scopus 로고
    • Yale University Press New Haven; Collected papers edited by Richmond Thomason
    • Montague, R.: Formal Philosophy. Yale University Press, New Haven (1974); Collected papers edited by Richmond Thomason
    • (1974) Formal Philosophy
    • Montague, R.1
  • 14
    • 0027353175 scopus 로고
    • A framework for defining logics
    • Harper, R., Honsell, F., Plotkin, G.: A Framework for Defining Logics. JACM 40(1), 143-184 (1993)
    • (1993) JACM , vol.40 , Issue.1 , pp. 143-184
    • Harper, R.1    Honsell, F.2    Plotkin, G.3
  • 18
    • 84863869105 scopus 로고    scopus 로고
    • Grammars as software libraries
    • Bertot, Y., Huet, G., Ĺevy, J.-J., Plotkin, G. (eds.). Cambridge University Press, Cambridge
    • Ranta, A.: Grammars as Software Libraries. In: Bertot, Y., Huet, G., Ĺevy, J.-J., Plotkin, G. (eds.) From Semantics to Computer Science, pp. 281-308. Cambridge University Press, Cambridge (2009)
    • (2009) From Semantics to Computer Science , pp. 281-308
    • Ranta, A.1
  • 22
    • 84859893686 scopus 로고    scopus 로고
    • A hierarchical phrase-based model for statistical machine translation
    • Morristown, NJ, USA. Association for Computational Linguistics
    • 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-270 (2005)
    • (2005) ACL 2005: Proceedings of the 43rd Annual Meeting on Association for Computational Linguistics , pp. 263-270
    • Chiang, D.1
  • 25
    • 84958052070 scopus 로고    scopus 로고
    • Multilingual syntax editing in GF
    • Gelbukh A. (ed.) CICLing 2003. Springer, Heidelberg
    • Khegai, J., Nordström, B., Ranta, A.: Multilingual Syntax Editing in GF. In: Gelbukh, A. (ed.) CICLing 2003. LNCS, vol.2588, pp. 453-464. Springer, Heidelberg (2003)
    • (2003) LNCS , vol.2588 , pp. 453-464
    • Khegai, J.1    Nordström, B.2    Ranta, A.3
  • 28
    • 85149102780 scopus 로고    scopus 로고
    • Multilingual authoring using feedback texts
    • Power, R., Scott, D.: Multilingual authoring using feedback texts. In: COLING-ACL (1998)
    • (1998) COLING-ACL
    • Power, R.1    Scott, D.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.