Prenex normalization and the hierarchical classification of formulas.

Makoto Fujiwara Taishi Kurahashi

Published in: Arch. Math. Log. (2024)

Keyphrases

hierarchical classification
normal form
hierarchical structure
classification algorithm
mathematical formulas
normalization method
feature selection
text classification
image segmentation
databases
information retrieval
preprocessing
pairwise
classification accuracy
knn
database applications