We propose a new approach to text generation from formal proofs that exploits the high-level and interactive features of a tactic-style theorem prover. The design of our system is based on communication conventions identified in a corpus of texts. We show how to use dialogue with the theorem prover to obtain information that is required for communication but is not explicitly

This research aims to study the feature of nasals in Kanayatn Dayak language, spoken West Kalimantan, Indonesia, and whether they are replacive or additive particular initial phonemes root. The data were collected by recording interviewing five informants 45-55 years old native speakers Dayak. Through descriptive linguistics approach describe linguistic features nasals, this revealed that could...

In this paper we present the tree to tree transduction language, TTT. We motivate the overall ”template-to-template” approach to the design of the language, and outline its constructs, also providing some examples. We then show that TTT allows transparent formalization of rules for parse tree refinement and correction, logical form refinement and predicate disambiguation, inference, and verbali...

This paper describes a process of text normalization system for the Bangla language (exonym: Bengali) by identifying the semiotic classes from Bangla text corpus. After identifying the semiotic classes, a set of rules was written for tokenization and verbalization. This study is important for Text-ToSpeech (TTS) system and as well as for creating a language model used in speech recognition.

Maritime work is dynamical. As the ship sails, conditions change and so do the information needs. If instrumentation is to keep pace with these changing demands, it must be flexible and tailorable. Since, in addition, self-description and verbalization are important ingredients in maritime work, the system too must be able to present its inner state in a comprehensible manner.

Higher Order Natural Deduction Proof Object Maintenance of proof developments at different layers of granularity which are connected to each other September 25th, 2003 – p.7 Source: Autexier, Benzmüller Proof Data Structure MEGA Main References [CheikhrouhouSorge-ACIDCA-00] Overview on PDS [SiekmannEtAl-35yAutomath] Working with PDS Discussion + Support for proof development at different levels...