A new face of the branching recurrence of computability logic
Giorgi JaparidzePublished in: CoRR (2011)
Keyphrases
- face images
- automated reasoning
- logic programming
- human faces
- branch and bound
- modal logic
- artificial intelligence
- machine learning
- search algorithm
- proof theory
- sound and complete axiomatization
- gender recognition
- natural deduction
- asynchronous circuits
- predicate logic
- classical logic
- face verification
- search tree
- recognition algorithm
- facial images
- facial features
- feature vectors
- expert systems
- case study