From 44ecbd11bcc8a2f8145eff027276cbe257c996c2 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 3 Oct 2011 15:39:39 +0000 Subject: [PATCH] updated gf-biblio with cse instead of cs --- doc/gf-bibliography.html | 123 ++++++++++++++++++++++++++++++++++----- doc/gf-bibliography.t2t | 14 ++--- 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 @@ - Grammatical Framework Bibliography -

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.

@@ -41,7 +132,7 @@ vol. 448, on-line, 2009.
-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.

@@ -272,7 +363,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. +pdf.
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//.