A Correctness Proof for Warren's HO into FO Translation.

Juan Carlos González Moreno

Published in: GULP (1993)

Keyphrases

first order logic
provably correct
abstract machine
theorem proving
theorem prover
transitive closure
data sets
machine translation
cross language information retrieval
viterbi algorithm
neural network
search algorithm
expert systems
parallel corpora
bilingual dictionaries