Operations on proofs and labels.

Tatiana Yavorskaya Natalia Rubtsova

Published in: J. Appl. Non Class. Logics (2007)

Keyphrases

pairwise
training data
real world
class labels
arithmetic operations
formal proofs
databases
machine learning
knowledge base
search algorithm
ground truth
training examples
multi label