Sciweavers

14 search results - page 1 / 3
» cnl 2009
Sort
View
CNL
2009
13 years 5 months ago
SBVR's Approach to Controlled Natural Language
Silvie Spreeuwenberg, Keri Anderson Healy
CNL
2009
13 years 5 months ago
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Dan...
CNL
2009
13 years 5 months ago
Polysemy in Controlled Natural Language Texts
Controlled natural languages (CNL) and computational semantics in general do not address word sense disambiguation, i.e., they tend to interpret only some functional words that are...
Normunds Gruzitis, Guntis Barzdins