summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--doc/gf-bibliography.html123
-rw-r--r--doc/gf-bibliography.t2t14
2 files changed, 115 insertions, 22 deletions
diff --git a/doc/gf-bibliography.html b/doc/gf-bibliography.html
index b15eb0bcb..f9e28b51e 100644
--- a/doc/gf-bibliography.html
+++ b/doc/gf-bibliography.html
@@ -2,24 +2,115 @@
<HTML>
<HEAD>
<META NAME="generator" CONTENT="http://txt2tags.sf.net">
-<LINK REL="stylesheet" TYPE="text/css" HREF="../css/style.css">
<TITLE>Grammatical Framework Bibliography</TITLE>
</HEAD><BODY BGCOLOR="white" TEXT="black">
-<P ALIGN="center"><CENTER><H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a>Grammatical Framework Bibliography</H1>
+<P ALIGN="center"><CENTER><H1>Grammatical Framework Bibliography</H1>
<FONT SIZE="4">
<I>Aarne Ranta</I><BR>
-Wed Sep 21 18:42:17 2011
+Tue Dec 15 15:38:41 2009
</FONT></CENTER>
<H2>Publications on GF</H2>
+
<P>
In reverse temporal order:
</P>
<P>
+C. España-Bonet, R. Enache, A. Slaski, A. Ranta, L. Màrquez, and M. Gonzàlez.
+Patent translation within the MOLTO project.
+Proceedings of the 4th Workshop on Patent Translation,
+MT Summit XIII, Xiamen, China, September 23, 2011.
+<A HREF="http://www.lsi.upc.edu/~cristinae/CV/docs/MTS11PatEspanaetal.pdf">PDF</A>
+<br>
+<I>First steps to a hybrid GF-SMT system.</I>
+</P>
+<P>
+S. Virk, M. Humayoun, and A. Ranta.
+An Open-Source Punjabi Resource Grammar.
+Proceedings of RANLP-2011, Recent Advances in Natural Language Processing,
+Hissar, Bulgaria, 12-14 September, 2011.
+pp. 70-76.
+<A HREF="http://lml.bas.bg/~iva/ranlp2011/RANLR2011_Proceedings.PDF">PDF</A>
+<br>
+<I>Punjabi syntax, building on Humayoun and Ranta 2010.</I>
+</P>
+<P>
A. Ranta.
-The GF Resource Grammar Library,
-to appear in the on-line journal <I>Linguistics in Language Technology</I>,
+Translating between Language and Logic: What Is Easy and What is Difficult?
+In N. Bjørner and V. Sofronie-Stokkermans (eds.),
+<I>CADE-23. Automated Deduction</I>,
+LNCS/LNAI 6803,
+pp. 5-25,
+2011.
+<A HREF="http://www.springerlink.com/content/42n685777k846810/">PDF at Springer</A>
+<A HREF="http://www.cse.chalmers.se/~aarne/articles/cade2011.pdf">Draft PDF</A>
+<br>
+<I>Invited talk at the CADE conference, showing how GF can help writing natural language interfaces</I>
+<I>to proof systems, and also exploring how to make the language richer, e.g. how to get from</I>
+<I>"for all numbers x, x is even or x is odd" to "every number is even or odd".</I>
+</P>
+<P>
+A. Ranta. <I>Grammatical Framework: Programming with Multilingual Grammars</I>,
+ CSLI Publications, Stanford, 2011.
+ <A HREF="http://www.grammaticalframework.org/gf-book/">Book web page</A>
+<br>
+<I>Meant as the standard reference and textbook on GF.</I>
+</P>
+<P>
+M. Humayoun and A. Ranta.
+Developing Punjabi Morphology, Corpus and Lexicon.
+<I>The 24th Pacific Asia conference on Language, Information and Computation (PACLIC24)</I>,
+2010.
+<br>
+<I>Yet another South-East Asian language, spoken by 88 million people.</I>
+</P>
+<P>
+S. Virk, M. Humayoun, and A. Ranta.
+An Open Source Urdu Resource Grammar.
+<I>Proceedings of the 8th Workshop on Asian Language Resources (Coling 2010 workshop)</I>,
+2010.
+<br>
+<I>The national language of Pakistan, spoken by 60 million people; almost the same as Hindi.</I>
+</P>
+<P>
+A. Ranta, K. Angelov, and T. Hallgren.
+Tools for multilingual grammar-based translation on the web.
+<I>Proceedings of the ACL 2010 System Demonstrations</I>,
+ACM Digital Library,
+2010.
+</P>
+<P>
+R. Enache, A. Ranta, and K. Angelov.
+An Open-Source Computational Grammar of Romanian.
+A. Gelbukh (ed.), <I>CiCLING-2010</I>,
+LNCS 6008,
+2010.
+<br>
+<I>A Romance language different enough not to follow the Romance functor.</I>
+</P>
+<P>
+K. Angelov and A. Ranta.
+Implementing Controlled Languages in GF.
+N. Fuchs (ed.), <I>CNL-2009 Controlled Natural Languages</I>,
+LNCS/LNAI 5972,
+2010.
+</P>
+<P>
+K. Angelov, B. Bringert and A. Ranta.
+PGF: A Portable Run-time Format for Type-theoretical Grammars,
+<I>Journal of Logic, Language and Information</I>,
+19(2),
+pp. 201-228,
+2009.
+<A HREF="http://www.springerlink.com/content/y32q021028747k70/">SpringerLink</A>
+</P>
+<P>
+A. Ranta.
+The GF Resource Grammar Library.
+<I>Linguistic Issues in Language Technology</I>,
+2 (2),
2009.
+<A HREF="http://elanguage.net/journals/index.php/lilt/article/viewFile/214/158">PDF</A>
<br>
<I>A systematic presentation of the library from the linguistic point of view.</I>
</P>
@@ -41,7 +132,7 @@ vol. 448,
<A HREF="http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-448/">on-line</A>,
2009.
<br>
-<I>Makes a case for using GF in controlled language implementation, illustrated by Attempto Controlled English ported to French, German, and Swedish.</I>
+<I>Makes a case for using GF in controlled language implementation, illustrated by Attempto Controlled English ported to French, German, and Swedish; longer version in 2010.</I>
</P>
<P>
A. Ranta. Grammars as Software Libraries.
@@ -161,7 +252,7 @@ Rapid Development of Dialogue Systems by Grammar Compilation.
<I>8th SIGdial Workshop on Discourse and Dialogue</I>,
Antwerp, Belgium, September 1-2,
2007.
-<A HREF="http://www.cs.chalmers.se/~bringert/publ/gf-voicexml/gf-voicexml.pdf">pdf</A>
+<A HREF="http://www.cse.chalmers.se/~bringert/publ/gf-voicexml/gf-voicexml.pdf">pdf</A>
<br>
<I>Shows how to build a web-based spoken dialogue system by generating VoiceXML and JavaScript.</I>
</P>
@@ -272,7 +363,7 @@ B. Bringert and A. Ranta.
A Pattern for Almost Compositional Functions.
<I>ICFP 2006, The 11th ACM SIGPLAN International Conference on Functional Programming, Portland, Oregon, September 18-20, 2006</I>,
2006.
-<A HREF="http://www.cs.chalmers.se/~bringert/publ/composOp/composOp.pdf">pdf</A>.
+<A HREF="http://www.cse.chalmers.se/~bringert/publ/composOp/composOp.pdf">pdf</A>.
<br>
<I>A method of generic programming useful for compiler construction</I>
<I>and transfer-based translation.</I>
@@ -365,7 +456,7 @@ B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta,
Multimodal Dialogue System Grammars.
<I>Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005</I>,
2005.
-<A HREF="http://www.cs.chalmers.se/~bringert/publ/mm-grammars-dialor/mm-grammars-dialor.pdf">pdf</A>.
+<A HREF="http://www.cse.chalmers.se/~bringert/publ/mm-grammars-dialor/mm-grammars-dialor.pdf">pdf</A>.
<br>
<I>Shows how mouse clicks can be integrated in GF grammars</I>
<I>alongside with speech input.</I>
@@ -376,7 +467,7 @@ Formal and Informal Software Specifications.
PhD thesis,
Computer Science, Göteborg University,
2005.
-[<A HREF="http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf">http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf</A>]
+[<A HREF="http://www.cse.chalmers.se/~krijo/thesis/thesisA4.pdf">http://www.cse.chalmers.se/~krijo/thesis/thesisA4.pdf</A>]
<br>
<I>Collection of articles in the GF-KeY project, with an introduction.</I>
</P>
@@ -482,7 +573,7 @@ Springer LNCS,
vol. 2306,
pp. 233--248,
2002.
-<A HREF="http://www.cs.chalmers.se/~krijo/GF/FASE.pdf">pdf</A>
+<A HREF="http://www.cse.chalmers.se/~krijo/GF/FASE.pdf">pdf</A>
<br>
<I>Describes a GF-based authoring tool for object-oriented</I>
<I>specifications in OCL and English. Carries out in full</I>
@@ -505,7 +596,7 @@ Connecting OCL with the Rest of the World.
<I>ETAPS 2001 Workshop on Transformations in UML (WTUML)</I>,
Genova,
2001.
-<A HREF="http://www.cs.chalmers.se/~reiner/papers/wtuml.ps.gz">ps.gz</A>.
+<A HREF="http://www.cse.chalmers.se/~reiner/papers/wtuml.ps.gz">ps.gz</A>.
<br>
<I>A position paper explaining how GF can be used to help in object-oriented</I>
<I>modelling, with some examples on natural-language interaction with</I>
@@ -559,7 +650,9 @@ The type theory and type checker of GF.
<br>
<I>Concise theoretical presentation of GF, using the old notation prior to v0.9</I>.
</P>
+
<H2>Background for GF</H2>
+
<P>
In alphabetical order:
</P>
@@ -586,7 +679,7 @@ B. Nordström, K. Petersson, and J. Smith.
<I>Programming in Martin-Löf's Type Theory: an Introduction</I>.
Oxford University Press, 1990.
The book is out of print, but a free version can be picked up from
-<A HREF="http://www.cs.chalmers.se/Cs/Research/Logic/book/">www.cs.chalmers.se/Cs/Research/Logic/book/</A>
+<A HREF="http://www.cse.chalmers.se/Cs/Research/Logic/book/">www.cse.chalmers.se/Cs/Research/Logic/book/</A>
<br>
<I>Standard reference on the subject</I>.
</P>
@@ -649,6 +742,6 @@ A. Ranta.
<I>Interprets Lambek Calculus in type theory and defines some extensions</I>.
</P>
-<!-- html code generated by txt2tags 2.5 (http://txt2tags.sf.net) -->
-<!-- cmdline: txt2tags -thtml ./doc/gf-bibliography.t2t -->
+<!-- html code generated by txt2tags 2.4 (http://txt2tags.sf.net) -->
+<!-- cmdline: txt2tags -thtml gf-bibliography.txt -->
</BODY></HTML>
diff --git a/doc/gf-bibliography.t2t b/doc/gf-bibliography.t2t
index 532e35e66..27234438f 100644
--- a/doc/gf-bibliography.t2t
+++ b/doc/gf-bibliography.t2t
@@ -227,7 +227,7 @@ Rapid Development of Dialogue Systems by Grammar Compilation.
//8th SIGdial Workshop on Discourse and Dialogue//,
Antwerp, Belgium, September 1-2,
2007.
-[pdf http://www.cs.chalmers.se/~bringert/publ/gf-voicexml/gf-voicexml.pdf]
+[pdf http://www.cse.chalmers.se/~bringert/publ/gf-voicexml/gf-voicexml.pdf]
#BR
//Shows how to build a web-based spoken dialogue system by generating VoiceXML and JavaScript.//
@@ -329,7 +329,7 @@ B. Bringert and A. Ranta.
A Pattern for Almost Compositional Functions.
//ICFP 2006, The 11th ACM SIGPLAN International Conference on Functional Programming, Portland, Oregon, September 18-20, 2006//,
2006.
-[pdf http://www.cs.chalmers.se/~bringert/publ/composOp/composOp.pdf].
+[pdf http://www.cse.chalmers.se/~bringert/publ/composOp/composOp.pdf].
#BR
//A method of generic programming useful for compiler construction//
//and transfer-based translation.//
@@ -416,7 +416,7 @@ B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta,
Multimodal Dialogue System Grammars.
//Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005//,
2005.
-[pdf http://www.cs.chalmers.se/~bringert/publ/mm-grammars-dialor/mm-grammars-dialor.pdf].
+[pdf http://www.cse.chalmers.se/~bringert/publ/mm-grammars-dialor/mm-grammars-dialor.pdf].
#BR
//Shows how mouse clicks can be integrated in GF grammars//
//alongside with speech input.//
@@ -428,7 +428,7 @@ Formal and Informal Software Specifications.
PhD thesis,
Computer Science, Göteborg University,
2005.
-[http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf]
+[http://www.cse.chalmers.se/~krijo/thesis/thesisA4.pdf]
#BR
//Collection of articles in the GF-KeY project, with an introduction.//
@@ -531,7 +531,7 @@ Springer LNCS,
vol. 2306,
pp. 233--248,
2002.
-[pdf http://www.cs.chalmers.se/~krijo/GF/FASE.pdf]
+[pdf http://www.cse.chalmers.se/~krijo/GF/FASE.pdf]
#BR
//Describes a GF-based authoring tool for object-oriented//
//specifications in OCL and English. Carries out in full//
@@ -555,7 +555,7 @@ Connecting OCL with the Rest of the World.
//ETAPS 2001 Workshop on Transformations in UML (WTUML)//,
Genova,
2001.
-[ps.gz http://www.cs.chalmers.se/~reiner/papers/wtuml.ps.gz].
+[ps.gz http://www.cse.chalmers.se/~reiner/papers/wtuml.ps.gz].
#BR
//A position paper explaining how GF can be used to help in object-oriented//
//modelling, with some examples on natural-language interaction with//
@@ -648,7 +648,7 @@ B. Nordström, K. Petersson, and J. Smith.
//Programming in Martin-Löf's Type Theory: an Introduction//.
Oxford University Press, 1990.
The book is out of print, but a free version can be picked up from
-[www.cs.chalmers.se/Cs/Research/Logic/book/ http://www.cs.chalmers.se/Cs/Research/Logic/book/]
+[www.cse.chalmers.se/Cs/Research/Logic/book/ http://www.cse.chalmers.se/Cs/Research/Logic/book/]
#BR
//Standard reference on the subject//.
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 06:24:07 +0000