From 9fcef260a121170be6346c342ff7f60acb59861d Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 1 Dec 2005 20:31:25 +0000 Subject: updating documentation --- doc/gf-bibliography.html | 269 +++++++++++++++++++++++++++++++---------------- 1 file changed, 176 insertions(+), 93 deletions(-) (limited to 'doc/gf-bibliography.html') diff --git a/doc/gf-bibliography.html b/doc/gf-bibliography.html index 5b242deb9..96ab231e2 100644 --- a/doc/gf-bibliography.html +++ b/doc/gf-bibliography.html @@ -10,24 +10,158 @@ -This Bibliography is under construction: new items are to be -added soon. -

Publications on GF

+In reverse temporal order: -M. Dymetman, V. Lux, and A. Ranta, -"XML and multilingual document authoring: converging trends", -Proceedings of the The 18th International Conference -on Computational Linguistics (COLING 2000), pp. 243-249, -Saarbruecken, 2000. +

+ +D. A. Burke and K. Johannisson. +"Translating Formal Software Specifications to Natural Language / A Grammar-Based Approach". +In Logical Aspects of Computational Linguistics (LACL 2005), ed. by P. Blace, E. Stabler, +J. Busquets and R. Moot, Springer LNAI 3402, pp. 51-66, 2005. +
+A paper explaining how a multilingual GF grammar is completed with Natural Language +Generation techniques to improve text quality. + +

+ +Björn Bringert, Robin Cooper, Peter Ljunglöf, Aarne Ranta, +Multimodal Dialogue System Grammars +[abstract, +paper (pdf), +paper (ps), +bibtex, +slides (pdf)], +in Proceedings of +DIALOR'05, +Ninth Workshop on the Semantics +and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005. +
+ +Shows how mouse clicks can be integrated in GF grammars +alongside with speech input. + + +

+ +Kristofer Johannisson, + +Formal and Informal Software Specifications. +PhD thesis, Computer Science, Göteborg University, 2005. + +

+ +A. Ranta, + "Modular Grammar Engineering in GF". Available in -gzipped postscript. + + pdf. A later version to appear in + Research in Language and Computation, 2005. +
+Argues for library-based software engineering methods in grammar writing and introduces +the module system of GF. +

+ +P. Ljunglöf. + +Expressivity and Complexity of the Grammatical Framework. +PhD thesis, Computer Science, Göteborg University, 2004.
-Relates GF not only with XML but also with definite clause grammars. +Language-theoretical study of GF and its parsing problem. + +

+ +A. Ranta, +"Grammatical Framework. A Type-Theoretical Grammar Formalism". +Article appeared in The Journal of Functional Programming, vol. 14:2. 2004, pp. 145-189. +Earlier version +available in + + gzipped postscript. +
+Theoretical paper explaining the GF formalism and its +implementation. Aimed to be the standard reference on GF, but doesn't +cover the module system. + + +

+ +A. Ranta, + "Computational Semantics in Type Theory". +Mathematics and Social Sciences, 165:31-57, 2004 +An earlier version appeared as +course material for graduate course in computational linguistics, + Gothenburg University, 2001. +Available in + + gzipped postscript. +
+ Shows how PTQ-style grammars are implemented in GF and extends +this to type-theoretical grammars for anaphoric expressions. + +

+H. Hammarström and A. Ranta. +Cardinal Numerals Revisited in GF. Workshop on Numerals in the World's Languages. +Dept. of Linguistics Max Planck Institute for Evolutionary Anthropology, Leipzig, +Germany, 2004. +
+ +An overview of the numeral grammar project. + + +

+ +A. Ranta. Grammatical Framework Tutorial. In A. Beckmann and +N. Preining, editors, ESSLLI 2003 Course Material I, volume V of Collegium Logicum, +pages 1-86. Kurt Gödel Society, 2004. +
+ +A revised version of the on-line GF tutorial. + + +

+ +J. Khegai and A. Ranta. "Building and using a Russian Resource Grammar in GF". +In Intelligent Text Processing and Computational Linguistics (CICLing-2004), +Seoul, Korea. LNCS, pages 38-41. Springer, 2004. +
+An introduction to the GF resource grammar project, with Russian as prime example. + + +

+ +A. Ranta and R. Cooper, + "Dialogue Systems as Proof Editors". +Journal of Logic, Language and Information, 13:225-240, 2004. +An earlier version appeared in +IJCAR/ICoS-3, Siena, June 2001. +Available in + +gzipped postscript. + +

+ + +J. Khegai, B. Nordström, and A. Ranta. +"Multilingual Syntax Editing in GF", +In +Intelligent Text Processing and Computational Linguistics +(CICLing-2003), +ed. by A. Gelbukh, +Springer LNCS 2588, pp. 453-464. +Available in +gzipped postscript. +
+ +Explains how the GF GUI is used in syntax editing and discusses +how new grammars are created. +

@@ -47,6 +181,20 @@ specifications in OCL and English. Carries out in full the work proposed in the position paper (Hähnle & Ranta 2001). +

+ +K. Johannisson and A.Ranta, +"Formal Verification of Multilingual Instructions", +Proceedings of the +Joint Winter Meeting 2001 of the Departments of +Computer Science and Computer Engineering, +Chalmers University of Technology and Göteborg University. +Available in +gzipped postscript. +
+Instructions for an alarm system in four languages, verified in the +proof editor Alfa. +

R. Hähnle and A. Ranta, @@ -73,6 +221,13 @@ postscript.

+A. Ranta. "Bescherelle bricolé", +gzipped postscript, 2001. +
+A machine-generated book on French conjugation implemented in GF. + +

+ T. Hallgren and A. Ranta, "An Extensible Proof Text Editor". M. Parigot & A. Voronkov (eds), Logic for Programming and Automated Reasoning (LPAR'2000), @@ -86,35 +241,17 @@ Available in

-K. Johannisson and A.Ranta, -"Formal Verification of Multilingual Instructions", -Proceedings of the -Joint Winter Meeting 2001 of the Departments of -Computer Science and Computer Engineering, -Chalmers University of Technology and Göteborg University. +M. Dymetman, V. Lux, and A. Ranta, +"XML and multilingual document authoring: converging trends", +Proceedings of the The 18th International Conference +on Computational Linguistics (COLING 2000), pp. 243-249, +Saarbruecken, 2000. Available in -gzipped postscript. -
-Instructions for an alarm system in four languages, verified in the -proof editor Alfa. - -

+gzipped postscript. -J. Khegai, B. Nordström, and A. Ranta. -"Multilingual Syntax Editing in GF", -In -Intelligent Text Processing and Computational Linguistics -(CICLing-2003), -ed. by A. Gelbukh, -Springer LNCS 2588, pp. 453-464. -Available in -gzipped postscript.
- -Explains how the GF GUI is used in syntax editing and discusses -how new grammars are created. - +Relates GF not only with XML but also with definite clause grammars.

@@ -133,71 +270,17 @@ P. Mäenpää and A. Ranta.

-A. Ranta, -"Grammatical Framework. A Type-Theoretical Grammar Formalism". -Manuscript, 2002. -Available in - - gzipped postscript. -Article appeared in The Journal of Functional Programming, vol. 14:2. 2004, pp. 145-189. -
-Theoretical paper explaining the GF formalism and its -implementation. Aimed to be the work of reference on GF. - -

-A. Ranta, - "Computational Semantics in Type Theory". - Course material for graduate course in computational linguistics, - Gothenburg University, 2001. -Available in - - gzipped postscript. -
- Shows how PTQ-style grammars are implemented in GF and extends -this to type-theoretical grammars for anaphoric expressions. -A later version appeared in -Mathematics and Social Sciences, 165:31-57, 2004 -

-A. Ranta and R. Cooper, - "Dialogue Systems as Proof Editors". - IJCAR/ICoS-3, Siena, June 2001. -Available in - - gzipped postscript. A later version appeared in -Journal of Logic, Language and Information, 13:225-240, 2004 - -

-A. Ranta, - "Modular Grammar Engineering in GF". -Available in - - pdf. A later version to appear in - Research in Language and Computation, 2005. -
-Argues for library-based software engineering methods in grammar writing and introduces -the module system of GF. - -

+

Background for GF

-A. Ranta. "Bescherelle bricolé", -gzipped postscript, 2001. -
-A machine-generated book on French conjugation implemented in GF. +In alphabetical order:

- - - -

Background for GF

- L. Magnusson. The Implementation of ALF - a Proof Editor based on Martin-Löf's Monomorphic Type Theory with Explicit Substitutions. -- cgit v1.2.3