The Functional Interpretation of the Existential Quantifier.

Ruy J. G. B. de Queiroz Dov M. Gabbay

Published in: Log. J. IGPL (1995)

Keyphrases

query answering
semantic interpretation
image interpretation
artificial intelligence
search algorithm
information systems
image processing
digital libraries
relational databases
functional properties