A framework for computing finite SLD trees.

Naoki Nishida Germán Vidal

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

main contribution
genetic algorithm
data mining
decision trees
data model
conceptual framework
computational framework
data sets
metadata
case study
training data
theoretical framework