Strong logics of first and second order.

Published in: Bull. Symb. Log. (2010)

Keyphrases

higher order
expressive power
real world
database
neural network
machine learning
computer vision
image processing
multiscale
pairwise
data model
default logic
directional derivatives