Renaming a Set of Non-Horn Clauses.

Xumin Nie Qing Guo

Published in: J. Comput. Sci. Technol. (2000)

Keyphrases

horn clauses
neural network
small number
conceptual clustering
general purpose
first order logic
inductive logic programming
data mining
probability distribution