Modal Functional (Dialectica) Interpretation.

Mircea-Dan Hernest Trifon Trifonov

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

Keyphrases

modal logic
image interpretation
information systems
semantic interpretation
functional analysis
databases
learning algorithm
computer vision
decision trees
high level
multi agent systems