A Formalized General Theory of Syntax with Bindings: Extended Version.

Lorenzo Gheri Andrei Popescu

Published in: J. Autom. Reason. (2020)

Keyphrases

general theory
morphological operators
belief functions
mathematical theory
high level
databases
stable models
neural network
computer vision
knowledge base
programming language
logic programs
image enhancement