Existential witness extraction in classical realizability and via a negative translation

Alexandre Miquel

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

positive and negative
automatic extraction
machine translation
information extraction
automatically extracted
real time
real world
artificial intelligence
natural language
expert systems
evolutionary algorithm
query answering
machine translation system