Towards applied theories based on computability logic.

Giorgi Japaridze

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

Keyphrases

computer vision
logic programming
databases
real world
feature selection
multiscale
natural language
expressive power