In this paper we will describe the NL2KR system that translates natural language sentences to a targeted knowledge representation formalism. The system starts with an initial lexicon and learns meaning of new words from a given set of examples of sentences and their translations. We will describe the first release of our system with several examples.

The intention behind this document is to outline the concepts behind a possible proposal(s) for enabling users to program integrated applications. It is intended that tools are created to enable users to develop software in a way familiar to many, from their use of spreadsheets and web page creation tools. These tools would be available for use within a system(s) that manage software in the fol...

about 11 centuries after its emergence, aristotle's organon was translated into arabic; and, based on such translations, scholars such as farabi and ibn sina created logical works in the islamic world. because of these works, logic emerged and flourished among muslims. through analysis and evaluation of the first translations of organon, we may get familiar with, on the one hand, attention...

evaluation of the usefglness of machine translations nroduce~ at the National Physical Lab.oratory. Tea diD~ton, with a summary of the translation method. ~ ~ ~./~ l / Introdnction / The machine translation project at the National Physical Laboratory (NFL) has b?en terminated. It has always ha~ as its prime aim a demonstrat~n of the practicability of translation by computer of Russian scientifi...