Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement.

Tachio Terauchi Hiroshi Unno

Published in: ESOP (2015)

Keyphrases

real world
first order logic
machine learning
genetic algorithm
multimedia
practical application
database
data mining
optimal solution
search algorithm
refinement process