GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

updated gf-biblio with cse instead of cs

Browse Source
This commit is contained in:
aarne
2011-10-03 15:39:39 +00:00
parent dac46a89e8
commit 95aea9c77e
2 changed files with 115 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

123
doc/gf-bibliography.html
View File

@@ -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
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
<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>

14
doc/gf-bibliography.t2t
View File

@@ -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//.