Grammatical Framework Bibliography
+Grammatical Framework Bibliography
Aarne Ranta-Wed Sep 21 18:42:17 2011 +Tue Dec 15 15:38:41 2009
Publications on GF
+In reverse temporal order:
+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.
+PDF
+
+First steps to a hybrid GF-SMT system.
+
+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.
+PDF
+
+Punjabi syntax, building on Humayoun and Ranta 2010.
+
A. Ranta.
-The GF Resource Grammar Library,
-to appear in the on-line journal Linguistics in Language Technology,
+Translating between Language and Logic: What Is Easy and What is Difficult?
+In N. Bjørner and V. Sofronie-Stokkermans (eds.),
+CADE-23. Automated Deduction,
+LNCS/LNAI 6803,
+pp. 5-25,
+2011.
+PDF at Springer
+Draft PDF
+
+Invited talk at the CADE conference, showing how GF can help writing natural language interfaces
+to proof systems, and also exploring how to make the language richer, e.g. how to get from
+"for all numbers x, x is even or x is odd" to "every number is even or odd".
+
+A. Ranta. Grammatical Framework: Programming with Multilingual Grammars,
+ CSLI Publications, Stanford, 2011.
+ Book web page
+
+Meant as the standard reference and textbook on GF.
+
+M. Humayoun and A. Ranta.
+Developing Punjabi Morphology, Corpus and Lexicon.
+The 24th Pacific Asia conference on Language, Information and Computation (PACLIC24),
+2010.
+
+Yet another South-East Asian language, spoken by 88 million people.
+
+S. Virk, M. Humayoun, and A. Ranta.
+An Open Source Urdu Resource Grammar.
+Proceedings of the 8th Workshop on Asian Language Resources (Coling 2010 workshop),
+2010.
+
+The national language of Pakistan, spoken by 60 million people; almost the same as Hindi.
+
+A. Ranta, K. Angelov, and T. Hallgren. +Tools for multilingual grammar-based translation on the web. +Proceedings of the ACL 2010 System Demonstrations, +ACM Digital Library, +2010. +
+
+R. Enache, A. Ranta, and K. Angelov.
+An Open-Source Computational Grammar of Romanian.
+A. Gelbukh (ed.), CiCLING-2010,
+LNCS 6008,
+2010.
+
+A Romance language different enough not to follow the Romance functor.
+
+K. Angelov and A. Ranta. +Implementing Controlled Languages in GF. +N. Fuchs (ed.), CNL-2009 Controlled Natural Languages, +LNCS/LNAI 5972, +2010. +
++K. Angelov, B. Bringert and A. Ranta. +PGF: A Portable Run-time Format for Type-theoretical Grammars, +Journal of Logic, Language and Information, +19(2), +pp. 201-228, 2009. +SpringerLink +
+
+A. Ranta.
+The GF Resource Grammar Library.
+Linguistic Issues in Language Technology,
+2 (2),
+2009.
+PDF
A systematic presentation of the library from the linguistic point of view.
-Makes a case for using GF in controlled language implementation, illustrated by Attempto Controlled English ported to French, German, and Swedish. +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.
A. Ranta. Grammars as Software Libraries.
@@ -161,7 +252,7 @@ Rapid Development of Dialogue Systems by Grammar Compilation.
8th SIGdial Workshop on Discourse and Dialogue,
Antwerp, Belgium, September 1-2,
2007.
-pdf
+pdf
Shows how to build a web-based spoken dialogue system by generating VoiceXML and JavaScript.
A method of generic programming useful for compiler construction and transfer-based translation. @@ -365,7 +456,7 @@ B. Bringert, R. Cooper, P. Ljungl 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. +pdf.
Shows how mouse clicks can be integrated in GF grammars alongside with speech input. @@ -376,7 +467,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]
Collection of articles in the GF-KeY project, with an introduction. @@ -482,7 +573,7 @@ Springer LNCS, vol. 2306, pp. 233--248, 2002. -pdf +pdf
Describes a GF-based authoring tool for object-oriented specifications in OCL and English. Carries out in full @@ -505,7 +596,7 @@ Connecting OCL with the Rest of the World. ETAPS 2001 Workshop on Transformations in UML (WTUML), Genova, 2001. -ps.gz. +ps.gz.
A position paper explaining how GF can be used to help in object-oriented modelling, with some examples on natural-language interaction with @@ -559,7 +650,9 @@ The type theory and type checker of GF.
Concise theoretical presentation of GF, using the old notation prior to v0.9. +
Background for GF
+In alphabetical order:
@@ -586,7 +679,7 @@ B. Nordstr 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/ +www.cse.chalmers.se/Cs/Research/Logic/book/Standard reference on the subject. @@ -649,6 +742,6 @@ A. Ranta. Interprets Lambek Calculus in type theory and defines some extensions. - - + + 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 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 //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//.