Book Review: R. J. G. B. de Queiroz, A. G. de Oliveira, D. M. Gabbay, The Functional Interpretation of Logical Deduction.

Published in: Stud Logica (2015)

Keyphrases

inference rules
theorem proving
semantic interpretation
image interpretation
image processing
high level
inference process
logical reasoning
machine learning
information retrieval
computer vision
knowledge base
website
multiscale
logical structure
functional analysis