Inconsistency Measurement for Improving Logical Formula Clustering.

Published in: IJCAI (2020)

Keyphrases

clustering algorithm
k means
clustering method
hierarchical clustering
data clustering
spectral clustering
similarity function
logical formulas
high dimensional
domain knowledge
semi supervised
co occurrence
unsupervised learning
cluster analysis
data mining tasks
classical logic