updating documentation

1 files changed, 176 insertions, 93 deletions

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 @@
 </center>
 
 
-This Bibliography is under construction: new items are to be
-added soon.
-
 
 <h3>Publications on GF</h3>
 
+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.
+<p>
+
+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.
+<br>
+<i>A paper explaining how a multilingual GF grammar is completed with Natural Language
+Generation techniques to improve text quality.</i>
+
+<p>
+
+Bj&ouml;rn Bringert, Robin Cooper, Peter Ljungl&ouml;f, Aarne Ranta,
+<a href="publ/mm-grammars-dialor/mm-grammars-dialor.pdf">Multimodal Dialogue System Grammars</a>
+[<a href="publ/mm-grammars-dialor/mm-grammars-dialor-abstract.txt">abstract</a>,
+<a href="publ/mm-grammars-dialor/mm-grammars-dialor.pdf">paper (pdf)</a>,
+<a href="publ/mm-grammars-dialor/mm-grammars-dialor.ps">paper (ps)</a>,
+<a href="publ/mm-grammars-dialor/mm-grammars-dialor.bib">bibtex</a>,
+<a href="publ/mm-grammars-dialor/mm-grammars-dialor-slides.pdf">slides (pdf)</a>],
+in Proceedings of 
+<a href="http://dialor05.loria.fr/">DIALOR'05</a>, 
+Ninth Workshop on the Semantics 
+and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005.
+<br>
+<i>
+Shows how mouse clicks can be integrated in GF grammars
+alongside with speech input.
+</i>
+
+<p>
+
+<a href="http://www.cs.chalmers.se/~krijo">Kristofer Johannisson</a>,
+<a href="http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf">
+Formal and Informal Software Specifications</a>.
+PhD thesis, Computer Science, Göteborg University, 2005.
+
+<p>
+
+A. Ranta,
+ "Modular Grammar Engineering in GF".
 Available in
-<A NAME="tex2html6"
- HREF="../../articles/coling2000.ps.gz">gzipped postscript</A>.
+ <A 
+ HREF="http://www.cs.chalmers.se/~aarne/articles/ar-multieng.pdf">
+ pdf</A>. A later version to appear in
+ <i>Research in Language and Computation</i>, 2005. 
+<br>
+<i>Argues for library-based software engineering methods in grammar writing and introduces
+the module system of GF.</i>
 
+<p>
+
+P. Ljunglöf.
+<a href="http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf">
+Expressivity and Complexity of the  Grammatical Framework</a>.
+PhD thesis, Computer Science, Göteborg University, 2004.
 <br>
-<i>Relates GF not only with XML but also with definite clause grammars</i>.
+<i>Language-theoretical study of GF and its parsing problem.</i>
+
+<p>
+
+A. Ranta,
+"Grammatical Framework. A Type-Theoretical Grammar Formalism".
+Article appeared in <i>The Journal of Functional Programming</i>, vol. 14:2. 2004, pp. 145-189.
+Earlier version
+available in
+ <a href="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz">
+ gzipped postscript</A>.
+<br>
+<i>Theoretical paper explaining the GF formalism and its
+implementation. Aimed to be the standard reference on GF, but doesn't
+cover the module system.
+</i>
+
+<p>
+
+A. Ranta,
+ "Computational Semantics in Type Theory".
+<i>Mathematics and Social Sciences</i>, 165:31-57, 2004
+An earlier version appeared as
+course material for graduate course in computational linguistics,
+ Gothenburg University, 2001.
+Available in
+ <A HREF="http://www.cs.chalmers.se/~aarne/articles/compsem.ps.gz">
+ gzipped postscript</A>.
+<br>
+<i> Shows how PTQ-style grammars are implemented in GF and extends
+this to type-theoretical grammars for anaphoric expressions.</i>
+
+<p>
+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.
+<br>
+<i>
+An overview of the numeral grammar project.
+</i>
+
+<p>
+
+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. 
+<br>
+<i>
+A revised version of the on-line GF tutorial.
+</i>
+
+<p>
+
+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.
+<br>
+<i>An introduction to the GF resource grammar project, with Russian as prime example.
+</i>
+
+<p>
+
+A. Ranta and R. Cooper,
+ "Dialogue Systems as Proof Editors".
+<i>Journal of Logic, Language and Information</i>, 13:225-240, 2004.
+An earlier version appeared in
+IJCAR/ICoS-3, Siena, June 2001.
+Available in
+ <A NAME="tex2html8"
+ HREF="http://www.cs.chalmers.se/~aarne/articles/dialogue3.ps.gz">
+gzipped postscript</A>. 
+
+<p>
+
+
+J. Khegai, B. Nordström, and A. Ranta.
+"Multilingual Syntax Editing in GF",
+In
+<i>Intelligent Text Processing and Computational Linguistics 
+(CICLing-2003)</i>,
+ed. by A. Gelbukh,
+Springer LNCS 2588, pp. 453-464.
+Available in
+<a
+href="http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz">gzipped postscript</a>.
+<br>
+<i>
+Explains how the GF GUI is used in syntax editing and discusses
+how new grammars are created.
+</i>
 
 <p>
 
@@ -49,6 +183,20 @@ the work proposed in the position paper (Hähnle & Ranta 2001).</i>
 
 <p>
 
+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
+<A HREF="../../articles/aarne+krijo.ps.gz">gzipped postscript</A>.
+<br>
+<i>Instructions for an alarm system in four languages, verified in the
+proof editor Alfa.</i>
+
+<p>
+
 R. Hähnle and A. Ranta,
 "Connecting OCL with the Rest of the World",
 ETAPS 2001 Workshop on Transformations in UML (WTUML), Genova, 2001.
@@ -73,6 +221,13 @@ postscript</A>.
 
 <p>
 
+A. Ranta. "Bescherelle bricolé",
+<A HREF="../../GF2.0/doc/BeschBric.ps.gz">gzipped postscript</A>, 2001.
+<br>
+<i>A machine-generated book on French conjugation implemented in GF.</i>
+
+<p>
+
 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
 
 <p>
 
-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
-<A HREF="../../articles/aarne+krijo.ps.gz">gzipped postscript</A>.
-<br>
-<i>Instructions for an alarm system in four languages, verified in the
-proof editor Alfa.</i>
-
-<p>
+<A NAME="tex2html6"
+ HREF="../../articles/coling2000.ps.gz">gzipped postscript</A>.
 
-J. Khegai, B. Nordström, and A. Ranta.
-"Multilingual Syntax Editing in GF",
-In
-<i>Intelligent Text Processing and Computational Linguistics 
-(CICLing-2003)</i>,
-ed. by A. Gelbukh,
-Springer LNCS 2588, pp. 453-464.
-Available in
-<a
-href="http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz">gzipped postscript</a>.
 <br>
-<i>
-Explains how the GF GUI is used in syntax editing and discusses
-how new grammars are created.
-</i>
+<i>Relates GF not only with XML but also with definite clause grammars</i>.
 
 <p>
 
@@ -133,71 +270,17 @@ P. M&#228;enp&#228;&#228; and A. Ranta.
 
 <p>
 
-A. Ranta,
-"Grammatical Framework. A Type-Theoretical Grammar Formalism".
-Manuscript, 2002.
-Available in
- <a href="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz">
- gzipped postscript</A>.
-Article appeared in <i>The Journal of Functional Programming</i>, vol. 14:2. 2004, pp. 145-189.
-<br>
-<i>Theoretical paper explaining the GF formalism and its
-implementation. Aimed to be the work of reference on GF.
-</i>
 
-<p>
 
-A. Ranta,
- "Computational Semantics in Type Theory".
- Course material for graduate course in computational linguistics,
- Gothenburg University, 2001.
-Available in
- <A HREF="http://www.cs.chalmers.se/~aarne/articles/compsem.ps.gz">
- gzipped postscript</A>.
-<br>
-<i> Shows how PTQ-style grammars are implemented in GF and extends
-this to type-theoretical grammars for anaphoric expressions.</i>
-A later version appeared in
-<i>Mathematics and Social Sciences</i>, 165:31-57, 2004
 
-<p>
 
-A. Ranta and R. Cooper,
- "Dialogue Systems as Proof Editors".
- IJCAR/ICoS-3, Siena, June 2001.
-Available in
- <A NAME="tex2html8"
- HREF="http://www.cs.chalmers.se/~aarne/articles/dialogue3.ps.gz">
- gzipped postscript</A>. A later version appeared in
-<i>Journal of Logic, Language and Information</i>, 13:225-240, 2004
-
-<p>
 
-A. Ranta,
- "Modular Grammar Engineering in GF".
-Available in
- <A 
- HREF="http://www.cs.chalmers.se/~aarne/articles/ar-multieng.pdf">
- pdf</A>. A later version to appear in
- <i>Research in Language and Computation</i>, 2005. 
-<br>
-<i>Argues for library-based software engineering methods in grammar writing and introduces
-the module system of GF.</i>
-
-<p>
+<h3>Background for GF</h3>
 
-A. Ranta. "Bescherelle bricolé",
-<A HREF="../../GF2.0/doc/BeschBric.ps.gz">gzipped postscript</A>, 2001.
-<br>
-<i>A machine-generated book on French conjugation implemented in GF.</i>
+In alphabetical order:
 
 <p>
 
-
-
-
-<h3>Background for GF</h3>
-
 L. Magnusson.
 <i>The Implementation of ALF - a Proof Editor based on Martin-Löf's
 Monomorphic Type Theory with Explicit Substitutions</i>.