Sciweavers

644 search results - page 20 / 129
» Translation the Wiki way
Sort
View
CADE
2003
Springer
15 years 9 months ago
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...
Renate A. Schmidt, Ullrich Hustadt
EMNLP
2011
13 years 9 months ago
Training a Parser for Machine Translation Reordering
We propose a simple training regime that can improve the extrinsic performance of a parser, given only a corpus of sentences and a way to automatically evaluate the extrinsic qual...
Jason Katz-Brown, Slav Petrov, Ryan T. McDonald, F...
COLING
1992
14 years 10 months ago
Interaction between Structural Changes in Machine Translation
This paper discusses coml)lex structural changes during transfer within a non-destructive transfer framework. Though the description of each individual structural change is not di...
Satoshi Kinoshita, John Phillips, Jun-ichi Tsujii
JELIA
2010
Springer
14 years 8 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang
EACL
1993
ACL Anthology
14 years 10 months ago
Rule-based Acquisition and Maintenance of Lexical and Semantic Knowledge
The lexicons for Knowledge-Based Machine Translation systems require knowledge intensive morphological, syntactic and semantic information. This information is often used in diffe...
Donna Gates, Peter Shell