Complete First-Order Axiomatization of the Construction of Trees On an Ordered Set.

Khalil Djelloul

Published in: FCS (2005)

Keyphrases

machine learning
small number
information retrieval
partially ordered
predicate calculus
search engine
feature selection
decision trees
case study
training data
evolutionary algorithm
data model
horn clauses
tree models