29-31 August 2012, Third Workshop on Controlled Natural Languages (CNL 2012), Zuerich, Switzerland

A controlled natural language (CNL) is based on natural language but comes with restrictions on vocabulary, grammar, and/or semantics. The general goal is to reduce or eliminate ambiguity and complexity.

Some of these languages are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning on seemingly natural texts. Such languages have a direct mapping to some sort of formal logic and should improve the accessiblity of formal knowledge representations or specifications for people unfamiliar with formal notations. All these types of CNL are covered by this workshop.

For more information, see http://attempto.ifi.uzh.ch/site/cnl2012/