-
-
-
-
-
-In reverse temporal order: - -
-
-O. Caprotti and M. Seppälä.
- Multilingual Delivery of Online Tests in mathematics.
- Proceedings of Online Educa Berlin 2006. 29 November- 1 December 2006. Berlin, Germany.
-
- pdf
- .
-
-This papers shows screenshots of multilingual generation in the WebALT project,
-using GF and the
-
-
- -J. Khegai. Language engineering in Grammatical Framework (GF). - Phd thesis, 2006, Chalmers University of - Technology. -pdf - -
- -J Khegai. "GF parallel resource grammars and Russian". - In proceedings of Coling\ACL2006 - (The joint conference of the International Committee on Computational - Linguistics and the Association for Computational Linguistics) (pp. 475-482), - Sydney, Australia, July 2006. - -
- -J. Khegai. "Grammatical Framework (GF) for MT in sublanguage domains". - In proceedings of - EAMT-2006 (11th Annual conference of the European Association for - Machine Translation) (pp. 95-104), Oslo, Norway, 2006. - -
- -W. Ng'ang'a. Multilingual content development for eLearning in Africa. - eLearning Africa: 1st Pan-African Conference on ICT for Development, - Education and Training. 24-26 May 2006, Addis Ababa, Ethiopia. - pdf. - -
-
-R. Jonson. (2006) Generating statistical language models from interpretation
- grammars in dialogue system. In Proceedings of EACL'06, Trento, Italy.
-
-Uses GF grammars to generate statistical language models for speech recognition.
-
-
-
-O. Caprotti and M. Seppälä.
- Multilingual Delivery of Online Tests in mathematics.
- Proceedings of Online Educa Berlin 2006. 29 November - 1 December 2006. Berlin, Germany.
-
- pdf
- .
-
-This papers shows screenshots of multilingual generation in the
-WebALT project, using GF and the resource grammar library.
-
-
- -J. Khegai. Language engineering in Grammatical Framework (GF). - Phd thesis, 2006, Chalmers University of - Technology. -pdf - -
- -J Khegai. "GF parallel resource grammars and Russian". - In proceedings of Coling\ACL2006 - (The joint conference of the International Committee on Computational - Linguistics and the Association for Computational Linguistics) (pp. 475-482), - Sydney, Australia, July 2006. - -
- -J. Khegai. "Grammatical Framework (GF) for MT in sublanguage domains". - In proceedings of - EAMT-2006 (11th Annual conference of the European Association for - Machine Translation) (pp. 95-104), Oslo, Norway, 2006. - -
- -W. Ng'ang'a. Multilingual content development for eLearning in Africa. - eLearning Africa: 1st Pan-African Conference on ICT for Development, - Education and Training. 24-26 May 2006, Addis Ababa, Ethiopia. - pdf. - -
-
-R. Jonson. (2006) Generating statistical language models from interpretation
- grammars in dialogue system. In Proceedings of EACL'06, Trento, Italy.
-
-Uses GF grammars to generate statistical language models for speech recognition.
-
-
- +
+A. El Dada and A. Ranta. -"Arabic Resource Grammar". -Arabic Language Processing (JETALA), 5-6 June 2006, IERA, Rabat, Morocco. - -
-
+Implementing an Open Source Arabic Resource Grammar in GF.
+In M. Mughazy (ed),
+Perspectives on Arabic Linguistics XX. Papers from the Twentieth Annual Symposium on Arabic Linguistics, Kalamazoo, March 26
+John Benjamins Publishing Company.
+2007.
+
+An outline of the Arabic resource grammar project, focusing on linguistic aspects.
+
+A. Ranta.
+The GF Grammar Compiler.
+Workshop on New Directions in Type-theoretic Grammars,
+Dublin, August 2007 (ESSLLI workshop).
+2007.
+
+Describes the compilation of GF source code to lower-level run-time formats.
+
+M. Humayoun, H. Hammarström, and A. Ranta.
+Urdu Morphology, Orthography and Lexicon Extraction.
+CAASL-2: The Second Workshop on Computational Approaches to Arabic Script-based Languages,
+July 21-22, 2007, LSA 2007 Linguistic Institute, Stanford University.
+2007.
+
+Fairly complete open-source Urdu morphology and elemenraty syntax in GF.
+
+N. Perera and A. Ranta.
+Dialogue System Localization with the GF Resource Grammar Library.
+SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing,
+June 29, 2007, Prague.
+2007.
+
+An experiment in porting an in-car dialogue system from two to six languages.
+
+A. Ranta.
+Features in Abstract and Concrete Syntax.
+The 2nd International Workshop on Typed Feature Structure Grammars,
+Tartu, 24 May 2007 (NODALIDA workshop).
+2007.
+
+Explores the design choices of incorporating features in a GF-like grammar,
+with comparisons to feature-based unification grammars.
+
+O. Caprotti and M. Seppälä.
+Multilingual Delivery of Online Tests in mathematics.
+Proceedings of Online Educa Berlin 2006. 29 November - 1 December 2006.
+ Berlin, Germany.
+2006.
+pdf
+
+This papers shows screenshots of multilingual generation in the
+WebALT project, using GF and the resource grammar library.
+
+J. Khegai.
+Language engineering in Grammatical Framework (GF).
+Phd thesis, Computer Science, Chalmers University of Technology,
+2006.
+pdf
+
+Collection of articles and technical reports on multilingual authoring
+and the Russian resource grammar.
+
+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.
+
+A method of generic programming useful for compiler construction
+and transfer-based translation.
+
+M. Forsberg, H. Hammarstrom, and A. Ranta.
+Morphological Lexicon Extraction from Raw Text Data.
+FinTAL 2006,
+Turku, August 23-25, 2006.
+Springer LNCS/LNAI 4139,
+pp. 488-499,
+2006.
+
+A method for automatical production of morphological lexica based
+on inflection engines such as those of GF resource grammar library.
+
+A. Ranta.
+Type Theory and Universal Grammar.
+Philosophia Scientiae, Constructivism: Mathematics, Logic, Philosophy and Linguistics,
+cahier spécial 6,
+pp. 115-131,
+2006.
+
+A philosophical study of the medieval thesis that
+grammar is the same in all languages and the difference is only in words.
+
+J Khegai.
+GF parallel resource grammars and Russian.
+In proceedings of ACL2006
+ (The joint conference of the International Committee on Computational
+ Linguistics and the Association for Computational Linguistics) (pp. 475-482),
+ Sydney, Australia, July 2006.
+
+Gives an outline of the Russian resource grammar project.
+
+J. Khegai.
+Grammatical Framework (GF) for MT in sublanguage domains.
+Proceedings of 11th Annual conference of the European Association for
+ Machine Translation, , Oslo.
+pp. 95-104,
+2005.
+
+Shows how GF is used in controlled language translation.
+
+W. Ng'ang'a.
+Multilingual content development for eLearning in Africa.
+eLearning Africa: 1st Pan-African Conference on ICT for Development,
+ Education and Training. 24-26 May 2006, Addis Ababa, Ethiopia.
+2006.
+pdf
+
+Presents a programme for producing educational material in African languages
+via multilingual generation in GF.
+
+R. Jonson.
+Generating statistical language models from interpretation grammars in dialogue system.
+In Proceedings of EACL'06, Trento, Italy.
+2006.
+
+Uses GF grammars to generate statistical language models for speech recognition.
+
A. El Dada and A. Ranta. -"Implementing an Open Source Arabic Resource Grammar in GF". -20th Arabic Linguistics Symposium -Western Michigan University, -March 3-5 2006. - -
-
+Arabic Resource Grammar.
+Arabic Language Processing (JETALA),
+5-6 June 2006, IERA, Rabat, Morocco,
+2006.
+
+An outline of the Arabic resource grammar project, focusing on software aspects.
+
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.
+Translating Formal Software Specifications to Natural Language. A Grammar-Based Approach.
+In P. Blache, E. Stabler, J. Busquets and R. Moot (eds),
+Logical Aspects of Computational Linguistics (LACL 2005),
+Springer LNAI 3402,
+pp. 51-66,
+2005.
-A paper explaining how a multilingual GF grammar is completed with Natural Language
-Generation techniques to improve text quality.
-
-
- -Björn Bringert, Robin Cooper, Peter Ljunglöf, Aarne Ranta, -Multimodal Dialogue System Grammars -[abstract, -paper (pdf), -paper (ps), -bibtex, -slides (pdf)], -in Proceedings of -DIALOR'05, -Ninth Workshop on the Semantics -and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005. +A paper explaining how a multilingual GF grammar is completed with +Natural Language Generation techniques to improve text quality. +
+
+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.
-
-Shows how mouse clicks can be integrated in GF grammars
-alongside with speech input.
-
-
-
- -Kristofer Johannisson, - -Formal and Informal Software Specifications. -PhD thesis, Computer Science, Göteborg University, 2005. - -
- -A. Ranta, - "Modular Grammar Engineering in GF". -Available in - - pdf (ms, 2005). A later version to appear in - Research in Language and Computation. +Shows how mouse clicks can be integrated in GF grammars +alongside with speech input. +
+
+K. Johannisson,
+Formal and Informal Software Specifications.
+PhD thesis,
+Computer Science, Göteborg University,
+2005.
+[http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf]
-Argues for library-based software engineering methods in grammar writing and introduces
-the module system of GF.
-
-
- +Collection of articles in the GF-KeY project, with an introduction. +
+
+A. Ranta.
+Modular Grammar Engineering in GF.
+Research on Language and Computation,
+2007, to appear.
+Draft available as pdf.
+
+Adapts library-based software engineering methods to grammar writing
+and introduces the module system of GF.
+
P. Ljunglöf.
-
-Expressivity and Complexity of the Grammatical Framework.
-PhD thesis, Computer Science, Göteborg University, 2004.
+Expressivity and Complexity of the Grammatical Framework.
+PhD thesis, Computer Science,
+Göteborg University,
+2004.
+pdf
-Language-theoretical study of GF and its parsing problem.
-
-
- -A. Ranta, -"Grammatical Framework. A Type-Theoretical Grammar Formalism". -Article appeared in The Journal of Functional Programming, vol. 14:2. 2004, pp. 145-189. -Earlier version -available in - - gzipped postscript. +Language-theoretical study of GF and its parsing problem. +
+
+A. Ranta.
+Grammatical Framework: A Type-Theoretical Grammar Formalism.
+Journal of Functional Programming, 14(2),
+pp. 145-189,
+2004.
+Draft available as ps.gz.
-Theoretical paper explaining the GF formalism and its
-implementation. Aimed to be the standard reference on GF, but doesn't
-cover the module system.
-
-
-
- -A. Ranta, - "Computational Semantics in Type Theory". -Mathematics and Social Sciences, 165:31-57, 2004 -An earlier version appeared as -course material for graduate course in computational linguistics, - Gothenburg University, 2001. -Available in - - gzipped postscript. +Theoretical paper explaining the GF formalism and its implementation. +The standard reference on GF, but doesn't cover the module system. +
+
+A. Ranta.
+Computational semantics in type theory.
+Mathematics and Social Sciences, 165,
+pp. 31-57,
+2004.
+Draft available as pdf.
- Shows how PTQ-style grammars are implemented in GF and extends
-this to type-theoretical grammars for anaphoric expressions.
-
-
+// Shows how Montague-style grammars are implemented in GF and extends// +this to type-theoretical grammars for anaphoric expressions. +
+
H. Hammarström and A. Ranta.
-Cardinal Numerals Revisited in GF. Workshop on Numerals in the World's Languages.
+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.
+2004.
-
-An overview of the numeral grammar project.
-
-
-
- -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. +An overview of the numeral grammar project. +
+
+A. Ranta.
+Grammatical Framework Tutorial.
+In A. Beckmann and N. Preining, editors,
+ESSLLI 2003 Course Material I,
+Collegium Logicum,
+volume V,
+pp. 1-86.
+Kurt Gödel Society,
+Vienna,
+2004.
-
-A revised version of the on-line GF tutorial.
-
-
-
- -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. +A revised version of the on-line GF tutorial, v1.0. +
+
+J. Khegai and A. Ranta.
+Building and Using a Russian Resource Grammar in GF.
+In A. Gelbukh (ed),
+Intelligent Text Processing and Computational Linguistics (CICLing-2004),
+Seoul, Korea, February 2003,
+Springer LNCS 945,
+pp. 38-41,
+2004.
+ps.gz.
-An introduction to the GF resource grammar project, with Russian as prime example.
-
-
-
- -A. Ranta and R. Cooper, - "Dialogue Systems as Proof Editors". -Journal of Logic, Language and Information, 13:225-240, 2004. -An earlier version appeared in -IJCAR/ICoS-3, Siena, June 2001. -Available in - -gzipped postscript. - -
- - -J. Khegai, B. Nordström, and A. Ranta. -"Multilingual Syntax Editing in GF", -In -Intelligent Text Processing and Computational Linguistics -(CICLing-2003), -ed. by A. Gelbukh, -Springer LNCS 2588, pp. 453-464. -Available in -gzipped postscript. +An introduction to the GF resource grammar project, with Russian as prime example. +
++A. Ranta and R. Cooper. +Dialogue Systems as Proof Editors. + Journal of Logic, Language and Information, 13, +pp. 225-240, +2004. +Conference version (IJCAR/ICoS-3, Siena, June 2001) available as + ps.gz. +Shows a close analogy between task-oriented dialogue systems +and metavariable-based proof editors. +
+
+J. Khegai and A. Ranta.
+Building and Using a Russian Resource Grammar in GF.
+In A. Gelbukh (ed),
+Intelligent Text Processing and Computational Linguistics (CICLing-2004),
+Seoul, Korea, February 2003,
+Springer LNCS 945,
+pp. 38-41,
+2004.
+ps.gz.
-
-Explains how the GF GUI is used in syntax editing and discusses
-how new grammars are created.
-
-
-
- +Explains how the GF GUI is used in syntax editing and discusses +how new grammars are created. +
+
R. Hähnle, K. Johannisson, and A. Ranta.
-"An Authoring Tool for Informal and Formal
-Requirements Specifications".
-In
-ETAPS/FASE-2002: Fundamental Approaches to Software Engineering,
-ed. by R. D. Kutsche and H. Weber,
-Springer LNCS, vol. 2306,
-pp. 233--248, 2002.
-Available in
-pdf.
+An Authoring Tool for Informal and Formal Requirements Specifications.
+In R. D. Kutsche and H. Weber (eds),
+ETAPS/FASE-2002: Fundamental Approaches to Software Engineering,
+Springer LNCS,
+vol. 2306,
+pp. 233--248,
+2002.
+pdf
-Describes a GF-based authoring tool for object-oriented
-specifications in OCL and English. Carries out in full
-the work proposed in the position paper (Hähnle & Ranta 2001).
-
-
-
- +Describes a GF-based authoring tool for object-oriented +specifications in OCL and English. Carries out in full +the work proposed in the position paper (Hähnle & Ranta 2001). +
+
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,
+Formal Verification of Multilingual Instructions.
+Proceedings of the Joint Winter Meeting 2001.
+Departments of Computer Science and Computer Engineering,
Chalmers University of Technology and Göteborg University.
-Available in
-gzipped postscript.
+2001.
+ps.gz.
-Instructions for an alarm system in four languages, verified in the
-proof editor Alfa.
-
-
- +Instructions for an alarm system in four languages, verified in the proof editor Alfa. +
+
R. Hähnle and A. Ranta,
-"Connecting OCL with the Rest of the World",
-ETAPS 2001 Workshop on Transformations in UML (WTUML), Genova, 2001.
-Available in
-gzipped postscript.
+Connecting OCL with the Rest of the World.
+ETAPS 2001 Workshop on Transformations in UML (WTUML),
+Genova,
+2001.
+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
-OCL (Object Constraint Language).
-
-
- +A position paper explaining how GF can be used to help in object-oriented +modelling, with some examples on natural-language interaction with +OCL (Object Constraint Language). +
+
T. Hallgren, "The Correctness of Insertion Sort",
Manuscript, Chalmers University, Göteborg, 2001.
Available in
-
-postscript.
+ps
-A seven-page text generated by GF-Alfa.
-
-
- +A seven-page text generated by GF-Alfa. +
+
A. Ranta. "Bescherelle bricolé",
-gzipped postscript, 2001.
+ps.gz,
+2001.
-A machine-generated book on French conjugation implemented in GF.
-
-
- -T. Hallgren and A. Ranta, "An Extensible Proof Text Editor". -M. Parigot & A. Voronkov (eds), -Logic for Programming and Automated Reasoning (LPAR'2000), -LNCS/LNAI 1955, pp. 70-84, -Springer Verlag, Heidelberg, 2000. -Available in -gzipped postscript. +A machine-generated book on French conjugation implemented in GF. +
+
+T. Hallgren and A. Ranta,
+An Extensible Proof Text Editor.
+In M. Parigot and A. Voronkov (eds),
+Logic for Programming and Automated Reasoning (LPAR'2000),
+LNCS/LNAI 1955,
+pp. 70-84,
+Springer Verlag, Heidelberg,
+2000.
+ps.gz.
-Describes an interface to the proof editor Alfa written in GF.
-
-
- +Describes an interface to the proof editor Alfa written in GF. +
+
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
-gzipped postscript.
-
+XML and multilingual document authoring: converging trends.
+Proceedings of the The 18th International Conference on Computational Linguistics (COLING 2000),
+pp. 243-249,
+Saarbruecken,
+2000.
+ps.gz.
-Relates GF not only with XML but also with definite clause grammars.
-
-
- - -P. Mäenpää and A. Ranta. - The type theory and type checker of GF. - Colloquium on Principles, Logics, and Implementations of High-Level - Programming Languages, - Workshop on Logical Frameworks and Meta-languages, - Paris, France, 28 September 1999. Available in - - gzipped postscript. +Relates GF not only with XML but also with definite clause grammars. +
+
+P. Mäenpää and A. Ranta.
+The type theory and type checker of GF.
+Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages, Paris, 28 September 1999.
+1999.
+ps.gz.
-Concise theoretical presentation of GF, using the old notation..
-
-
- - - - - - -
In alphabetical order: - -
- +
+
L. Magnusson.
-The Implementation of ALF - a Proof Editor based on Martin-Löf's
-Monomorphic Type Theory with Explicit Substitutions.
+The Implementation of ALF - a Proof Editor based on Martin-Löf's
+Monomorphic Type Theory with Explicit Substitutions.
PhD Thesis, Department of Computing Science,
Chalmers University of Technology and Göteborg University,
1994.
-Back in 1992 the most wonderful program in the world, ALF is
-a model that GF directly follows: GF is Yet ALF.
-
-
- +Back in 1992 the most wonderful program in the world, ALF is +a model that GF directly follows: GF is Yet ALF. +
+
P. Martin-Löf.
-Intuitionistic Type Theory.
+Intuitionistic Type Theory.
Bibliopolis, Naples, 1984.
-A very accessible book (if you have access to it!)
-on type theory directly from the source.
-
-
- +A very accessible book (if you have access to it!) on type theory directly from the source. +
+
B. Nordström, K. Petersson, and J. Smith.
-Programming in Martin-Löf's Type Theory: an Introduction.
+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.cs.chalmers.se/Cs/Research/Logic/book/
-Standard reference on the subject.
-
-
- +Standard reference on the subject. +
+
A. Ranta.
- Type Theoretical Grammar.
- Oxford University Press, Oxford, 1994.
-Publisher's information.
+Type Theoretical Grammar.
+Oxford University Press, Oxford,
+1994.
-Monograph on type theory in linguistics. Includes an introduction
-to type theory. Much focused on anaphora. A first, very rudimentary
-implementation of syntax in the proof system ALF.
-
-
- +Monograph on type theory in linguistics. Includes an introduction +to type theory. Focused on semantics, in particular anaphora. A first, +very rudimentary implementation of linearization in the proof system ALF. +
+
A. Ranta.
- Syntactic categories in the language of mathematics.
- P. Dybjer, B. Nordström, and J. Smith, eds.,
- Types for Proofs and Programs, pp. 162-182,
- Lecture Notes in Computer Science 996,
- Springer-Verlag, Heidelberg, 1995.
-
+Syntactic categories in the language of mathematics.
+In P. Dybjer, B. Nordström, and J. Smith, eds.,
+Types for Proofs and Programs,
+pp. 162-182,
+Lecture Notes in Computer Science
+996,
+Springer-Verlag,
+Heidelberg,
+1995.
+ps.gz
-Predecessor of GF: grammar defined in type theory and implemented
-in ALF.
-
-
- +Predecessor of GF: grammar defined in type theory and implemented in ALF. +
+
A. Ranta.
- Context-relative syntactic categories
- and the formalization of mathematical text.
- S. Berardi
- and M. Coppo, eds.,
- Types for Proofs and Programs, pp. 231-248,
- Lecture Notes in Computer Science 1158,
- Springer-Verlag, Heidelberg, 1996.
-
+Context-relative syntactic categories and the formalization of mathematical text.
+In S. Berardi and M. Coppo, eds.,
+Types for Proofs and Programs,
+pp. 231-248,
+Lecture Notes in Computer Science
+1158,
+Springer-Verlag,
+Heidelberg,
+1996.
+ps.gz.
-Extending the theory of the previous paper.
-The implementation in ALF eventually became so heavy that
-the need arose for GF.
-
-
-
- - A. Ranta. - Structures grammaticales dans le français mathématique. - Mathématiques, informatique et Sciences Humaines., - vol. 138 pp. 5-56 and 139 pp. 5-36, 1997. +Extending the theory of the previous paper. The implementation in ALF +eventually became so heavy that the need arose for GF. +
+
+A. Ranta.
+Structures grammaticales dans le français mathématique.
+Mathématiques, informatique et Sciences Humaines.,
+vol. 138 pp. 5-56 and 139 pp. 5-36,
+1997.
-A rather comprehensive French grammar presented in a type-theoretical
-style.
-
-
- +A rather comprehensive French grammar presented in a type-theoretical style. +
+
A. Ranta.
Syntactic calculus with dependent types.
- Journal of Logic, Language and Information, vol. 4,
+ Journal of Logic, Language and Information, vol. 4,
pp. 413-431, 1998.
-Interprets Lambek Calculus in type theory and defines some
-extensions.
-
-
-
-
-
+Interprets Lambek Calculus in type theory and defines some extensions.
+