Definability in the Homomorphic Quasiorder of Finite Labeled Forests.

Oleg V. Kudinov Victor L. Selivanov

Published in: CiE (2007)

Keyphrases

privacy preserving
fixed point
training data
supervised learning
data exchange
random forests
finite number
manually labeled
propositional logic
finite automata
machine learning
search engine
knowledge representation
logic programs
random forest
unit length