Sciweavers

644 search results - page 20 / 129
» Translation the Wiki way
Sort
View
CADE
2003
Springer
14 years 8 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
12 years 7 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
13 years 9 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
13 years 6 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
13 years 9 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