What is a Logic Translation?

Till Mossakowski Razvan Diaconescu Andrzej Tarlecki

Published in: Logica Universalis (2009)

Keyphrases

logic programming
modal logic
machine translation
cross language information retrieval
logical framework
statistical machine translation
real time
neural network
image sequences
bayesian networks
target language
set theory
language resources