A grammatical view of logic programming
A grammatical view of logic programming
The ALF proof editor and its proof engine
TYPES '93 Proceedings of the international workshop on Types for proofs and programs
Type-theoretical grammar
Multilingual authoring using feedback texts
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
Evaluating and comparing three text-production techniques
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 1
Document structure and multilingual authoring
INLG '00 Proceedings of the first international conference on Natural language generation - Volume 14
An Authoring Tool for Informal and Formal Requirements Specifications
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Semantically-based text authoring and the concurrent documentation of experimental protocols
Proceedings of the 2003 ACM symposium on Document engineering
Journal of Functional Programming
Dialogue Systems as Proof Editors
Journal of Logic, Language and Information
Chart-parsing techniques and the prediction of valid editing moves in structured document authoring
Proceedings of the 2004 ACM symposium on Document engineering
Reversing controlled document authoring to normalize documents
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 2
Controlled authoring of biological experiment reports
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 2
Document structure and multilingual authoring
INLG '00 Proceedings of the first international conference on Natural language generation - Volume 14
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
From controlled document authoring to interactive document normalization
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
EACL '09 Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics: Demonstrations Session
Multi-language machine translation through interactive document normalization
EAMT '03 Proceedings of the 7th International EAMT workshop on MT and other Language Technology Tools, Improving MT through other Language Technology Tools: Resources and Tools for Building MT
Interpreting communicative goals in constrained domains using generation and interactive negotiation
TextMean '04 Proceedings of the 2nd Workshop on Text Meaning and Interpretation
Multilingual syntax editing in GF
CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing
Tools for multilingual grammar-based translation on the web
ACLDemos '10 Proceedings of the ACL 2010 System Demonstrations
Implementing controlled languages in GF
CNL'09 Proceedings of the 2009 conference on Controlled natural language
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
Towards Controlled Natural Language for Semantic Annotation
International Journal on Semantic Web & Information Systems
| Hi-index | 0.00 |
Typical approaches to XML authoring view a XML document as a mixture of structure (the tags) and surface (text between the tags). We advocate a radical approach where the surface disappears from the XML document altogether to be handled exclusively by rendering mechanisms. This move is based on the view that the author's choices when authoring XML documents are best seen as language-neutral semantic decisions, that the structure can then be viewed as interlingual content, and that the textual output should be derived from this content by language-specific realization mechanisms, thus assimilating XML authoring to Multilingual Document Authoring. However, standard XML tools have important limitations when used for such a purpose: (1) they are weak at propagating semantic dependencies between different parts of the structure, and, (2) current XML rendering tools are ill-suited for handling the grammatical combination of textual units. We present two related proposals for overcoming these limitations: one (GF) originating in the tradition of mathematical proof editors and constructive type theory, the other (IG), a specialization of Definite Clause Grammars strongly inspired by GF.