A new face of the branching recurrence of computability logic.

Giorgi Japaridze

Published in: Appl. Math. Lett. (2012)

Keyphrases

human faces
multi valued
face images
classical logic
recognition algorithm
automated reasoning
predicate logic
search tree
modal logic
gender recognition
data sets
digital circuits
defeasible logic
face model
facial features
keypoints
logic programming
upper bound
databases