1216 search results - page 61 / 244 » Translation analysis and translation automation |
CADE
2003
Springer
14 years 8 months ago
2003
Springer
A classical higher-order logic PFsub of partial functions is defined. The logic extends a version of Farmer's logic PF by enriching the type system of the logic with subset ty...
ECSQARU
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we address the problem of merging qualitative constraints networks (QCNs). We propose a rational merging procedure for QCNs. It is based on translations of QCNs into ...
LPNMR
2004
Springer
14 years 1 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...
WADT
2004
Springer
14 years 1 months ago
2004
Springer
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...
IUI
2006
ACM
14 years 2 months ago
2006
ACM
Multilingual communities using machine translation to overcome language barriers are showing up with increasing frequency. However, when a large number of translation errors get m...