-
1
-
-
45449097649
-
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
-
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
-
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
-
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
-
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
-
9
-
-
77952090574
-
Multimodal dialogue system grammars
-
June 2005
-
Bringert, B., Cooper, R., Ljunglöf, 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-60 (2005)
-
(2005)
Proceedings of DIALOR 2005, Ninth Workshop on the Semantics and Pragmatics of Dialogue
, pp. 53-60
-
-
Bringert, B.1
Cooper, R.2
Ljunglöf, P.3
Ranta, A.4
-
10
-
-
77955017488
-
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
-
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
-
-
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
-
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
-
15
-
-
0003729586
-
-
Clarendon Press, Oxford
-
Nordström, B., Petersson, K., Smith, J.: Programming in Martin-Löf's Type Theory. An Introduction. Clarendon Press, Oxford (1990)
-
(1990)
Programming in Martin-Löf's Type Theory. An Introduction
-
-
Nordström, B.1
Petersson, K.2
Smith, J.3
-
18
-
-
84863869105
-
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
-
20
-
-
0026419167
-
On multiple context-free grammars
-
Seki, H., Matsumura, T., Fujii,M., Kasami, T.: On multiple context-free grammars. Theoretical Computer Science 88, 191-229 (1991)
-
(1991)
Theoretical Computer Science
, vol.88
, pp. 191-229
-
-
Seki, H.1
Matsumura, T.2
Fujii, M.3
Kasami, T.4
-
21
-
-
77955017129
-
PGF: A portable run-time format for type- theoretical grammars
-
to appear
-
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)
-
(2009)
Journal of Logic, Language and Information
-
-
Angelov, K.1
Bringert, B.2
Ranta, A.3
-
22
-
-
84859893686
-
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
-
23
-
-
80053422573
-
A systematic comparison of phrase-based, hierarchical and syntax-augmented statistical MT
-
August 2008
-
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-1152 (2008)
-
(2008)
Proceedings of the 22nd International Conference on Computational Linguistics (Coling 2008)
, pp. 1145-1152
-
-
Zollmann, A.1
Venugopal, A.2
Och, F.J.3
Ponte, J.4
-
25
-
-
84958052070
-
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
-
26
-
-
0026220659
-
A design rationale for a language-based editor
-
Welsh, J., Broom, B., Kiong, D.: A design rationale for a language-based editor. Software- Practice and Experience 21, 923-948 (1991)
-
(1991)
Software- Practice and Experience
, vol.21
, pp. 923-948
-
-
Welsh, J.1
Broom, B.2
Kiong, D.3
-
27
-
-
84863918204
-
Grammatical framework web service
-
Athens
-
Bringert, B., Angelov, K., Ranta, A.: Grammatical Framework Web Service. In: System demo, Proceedings of EACL 2009, Athens (2009)
-
(2009)
System Demo, Proceedings of EACL 2009
-
-
Bringert, B.1
Angelov, K.2
Ranta, A.3
-
28
-
-
85149102780
-
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
|