Programming in Martin-Lo¨f's type theory: an introduction
Programming in Martin-Lo¨f's type theory: an introduction
A design rationale for a language-based editor
Software—Practice & Experience
On multiple context-free grammars
Theoretical Computer Science
A framework for defining logics
Journal of the ACM (JACM)
Journal of Functional Programming
Multilingual authoring using feedback texts
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
XML and multilingual document authoring: convergent trends
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
A hierarchical phrase-based model for statistical machine translation
ACL '05 Proceedings of the 43rd Annual Meeting on Association for Computational Linguistics
Interactive Multilingual Web Applications with Grammatical Framework
GoTAL '08 Proceedings of the 6th international conference on Advances in Natural Language Processing
A systematic comparison of phrase-based, hierarchical and syntax-augmented statistical MT
COLING '08 Proceedings of the 22nd International Conference on Computational Linguistics - Volume 1
Grammatical framework web service
EACL '09 Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics: Demonstrations Session
Incremental parsing with parallel multiple context-free grammars
EACL '09 Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics
Dialogue system localization with the GF resource grammar library
SLP '07 Proceedings of the Workshop on Grammar-Based Approaches to Spoken Language Processing
PGF: A Portable Run-time Format for Type-theoretical Grammars
Journal of Logic, Language and Information
An extensible proof text editor
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Rabbit: developing a control natural language for authoring ontologies
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Multilingual syntax editing in GF
CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing
Translating formal software specifications to natural language
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
PGF: A Portable Run-time Format for Type-theoretical Grammars
Journal of Logic, Language and Information
Tools for multilingual grammar-based translation on the web
ACLDemos '10 Proceedings of the ACL 2010 System Demonstrations
Towards a more natural multilingual controlled language interface to OWL
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Translating between language and logic: what is easy and what is difficult
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Engineering a controlled natural language into semantic mediawiki
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Codeco: a practical notation for controlled english grammars in predictive editors
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Controlled language for everyday use: the MOLTO phrasebook
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Using CNL techniques and pattern sentences to involve domain experts in modeling
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Towards Controlled Natural Language for Semantic Annotation
International Journal on Semantic Web & Information Systems
A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors
Journal of Logic, Language and Information
Hi-index | 0.00 |
This paper introduces GF, Grammatical Framework, as a tool for implementing controlled languages. GF provides a high-level grammar formalism and a resource grammar library that make it easy to write grammars that cover similar fragments in several natural languages at the same time. Authoring help tools and automatic translation are provided for all grammars. As an example, a grammar of Attempto Controlled English is implemented and then ported to Finnish, French, German, Italian and Swedish.