Relating Classical Realizability and Negative Translation for Existential Witness Extraction.

Alexandre Miquel

Published in: TLCA (2009)

Keyphrases

positive and negative
information extraction
automatic extraction
knowledge extraction
databases
data mining
website
machine translation
query answering
automatically extracted
real time
computer vision
information systems
video sequences
query translation