Logic of Proofs and Labels with a Complete Set of Operations.

Tatiana Yavorskaya

Published in: J. Log. Comput. (2006)

Keyphrases

small number
image classification
learning algorithm
probability distribution
feature selection
data structure
pairwise
logic programs
logic programming
class labels
set theory